Sat, 15 Feb 1997 17:45:08 +0100 | oheimb | cosmetic | file | diff | annotate |
Wed, 12 Feb 1997 15:43:50 +0100 | wenzelm | TFL: missing -q option! | file | diff | annotate |
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 |