| 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 |