~tapaal-reduction/tapaal/tapaal-reduction-3.1

Viewing all changes in revision 907.

  • Committer: Nichlas Korgaard Møller
  • Date: 2014-08-12 03:39:34 UTC
  • Revision ID: nkm182@hotmail.com-20140812033934-yaq2x7b5uiq6vzv3
I have made some of RuleB but it is unfinished.
AllReductions has been changed so RuleB is applied, but it does not do anything at the moment.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: