| Sun, 08 Sep 2013 22:32:47 +0200 | Manuel Eberl | generate elim rules for elimination of function equalities; | file | diff | annotate |
| Sun, 16 Jun 2013 22:56:44 +0200 | krauss | export dom predicate in the info record | file | diff | annotate |
| Sun, 16 Jun 2013 01:39:00 +0200 | krauss | export cases rule in the info record | file | diff | annotate |
| Sun, 28 Oct 2012 02:22:39 +0000 | Christian Urban | added function store_termination_rule to the signature, as it is used in Nominal2 | file | diff | annotate |
| Sun, 21 Oct 2012 22:31:39 +0200 | wenzelm | removed dead code; | file | diff | annotate |
| Sun, 21 Oct 2012 22:12:22 +0200 | wenzelm | proper signatures; | file | diff | annotate |
| Thu, 15 Mar 2012 20:07:00 +0100 | wenzelm | prefer formally checked @{keyword} parser; | file | diff | annotate |