| Mon, 13 Oct 2008 06:54:25 +0200 | urbanc | tuned | file | diff | annotate |
| Thu, 22 May 2008 16:34:41 +0200 | urbanc | made the naming of the induction principles consistent: weak_induct is | file | diff | annotate |
| Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
| Tue, 08 Jan 2008 23:11:08 +0100 | urbanc | tuned proofs | file | diff | annotate |
| Fri, 04 Jan 2008 16:35:22 +0100 | urbanc | partially adapted to new inversion rules | file | diff | annotate |
| Sun, 23 Sep 2007 22:11:50 +0200 | urbanc | tuned one proof so to not run in a loop with the new atom-representation | file | diff | annotate |
| Sun, 12 Aug 2007 18:53:03 +0200 | wenzelm | added type constraints to resolve syntax ambiguities; | file | diff | annotate |