| Wed, 02 Jun 2004 17:35:08 +0200 | new rules for simplifying quantifiers with Sigma | file | diff | annotate |
| Wed, 28 Aug 2002 13:08:50 +0200 | various new lemmas for Constructible | file | diff | annotate |
| Sun, 14 Jul 2002 19:59:55 +0200 | Removal of mono.thy | file | diff | annotate |
| Sun, 23 Jun 2002 10:14:13 +0200 | conversion of Sum, pair to Isar script | file | diff | annotate |
| Fri, 05 Oct 2001 16:04:56 +0200 | tuned; | file | diff | annotate |
| Thu, 10 Aug 2000 11:27:34 +0200 | installation of cancellation simprocs for the integers | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
| Tue, 16 Nov 1993 14:24:21 +0100 | made pseudo theories for all ML files; | file | diff | annotate |