Tue, 18 Apr 2000 00:36:02 +0200 | wenzelm | fixed theory deps; | file | diff | annotate |
Thu, 22 Apr 1999 13:04:23 +0200 | wenzelm | recdef requires theory Recdef; | file | diff | annotate |
Tue, 10 Mar 1998 13:27:13 +0100 | nipkow | New scanner in abstract form. | file | diff | annotate |