| Wed, 05 May 1999 18:13:56 +0200 | wenzelm | improved Makefile; | file | diff | annotate |
| Tue, 04 May 1999 17:59:55 +0200 | wenzelm | isabelle_zf image; | file | diff | annotate |
| Wed, 13 Jan 1999 16:36:36 +0100 | paulson | the separate FOL and ZF logics manual, with new material on datatypes and | file | diff | annotate |