| Tue, 12 Jan 1999 15:17:37 +0100 | wenzelm | eliminated global/local names; | file | diff | annotate |
| Mon, 20 Oct 1997 10:53:42 +0200 | wenzelm | local; | file | diff | annotate |
| Fri, 17 Oct 1997 17:40:02 +0200 | wenzelm | global; | file | diff | annotate |
| Thu, 23 Jan 1997 12:42:07 +0100 | wenzelm | added symbols syntax; | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |