| Tue, 06 Sep 2005 19:28:58 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Mon, 17 Dec 2001 14:24:11 +0100 | nipkow | mods due to improved 1-point simprocs (quantifier1). | file | diff | annotate |
| Sat, 03 Nov 2001 18:41:28 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Wed, 04 Mar 1998 13:14:11 +0100 | nipkow | Reorganized simplifier. May now reorient rules. | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Wed, 23 Apr 1997 11:02:19 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |