| Wed, 16 Feb 2000 10:51:23 +0100 | paulson | fixed some overfull lines | file | diff | annotate |
| Fri, 28 May 1999 11:42:07 +0200 | wenzelm | tuned manual.bib; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Wed, 03 Feb 1999 14:02:49 +0100 | paulson | documented typecheck_tac, etc | file | diff | annotate |
| Tue, 19 Jan 1999 12:56:27 +0100 | paulson | freeness reasoning: T.free_iffs | file | diff | annotate |
| Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | 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 |