| Thu, 26 Feb 2009 11:18:40 +0000 | paulson | Updated the theory syntax. Corrected an error in a command. | file | diff | annotate |
| Wed, 20 Aug 2003 13:05:22 +0200 | paulson | finished conversion to Isar format | file | diff | annotate |
| Tue, 19 Aug 2003 18:45:48 +0200 | paulson | partial conversion to Isar format | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Wed, 16 Feb 2000 10:51:23 +0100 | paulson | fixed some overfull lines | 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 |