| Thu, 24 Sep 1998 17:17:14 +0200 | oheimb | renamed mk_meta_eq to mk_eq | file | diff | annotate |
| Tue, 22 Sep 1998 13:50:57 +0200 | paulson | tidying | file | diff | annotate |
| Mon, 03 Nov 1997 12:24:13 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Fri, 10 Oct 1997 18:23:31 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |