Thu, 23 Jan 1997 14:19:16 +0100 | wenzelm | added AxClasses test; | file | diff | annotate |
Fri, 17 Jan 1997 19:29:38 +0100 | nipkow | Added W0 and modified MiniML. | file | diff | annotate |
Tue, 07 Jan 1997 09:01:18 +0100 | wenzelm | minor tuning; | file | diff | annotate |
Wed, 18 Dec 1996 15:56:58 +0100 | wenzelm | IsaMakefile for HOL; | file | diff | annotate |