| 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 |