| Tue, 10 Jun 2008 16:43:14 +0200 | wenzelm | case_split_tac (works without context); | 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 |
| Sat, 17 May 2008 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | file | diff | annotate |
| Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
| Mon, 14 Apr 2008 21:44:53 +0200 | wenzelm | removed duplicate lemmas; | file | diff | annotate |
| Mon, 18 Feb 2008 05:51:16 +0100 | urbanc | updated | file | diff | annotate |