| Sun, 26 Nov 2006 18:07:16 +0100 | wenzelm | updated (binder) syntax/notation; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 08 Jun 2004 16:22:30 +0200 | paulson | Groups, Rings and supporting lemmas | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Tue, 19 Aug 2003 13:54:20 +0200 | paulson | new case_tac | file | diff | annotate |
| Fri, 27 Jun 2003 13:15:40 +0200 | paulson | Conversion of AllocBase to new-style | file | diff | annotate |
| Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
| Thu, 23 Jan 2003 10:30:14 +0100 | paulson | tidying (by script) | file | diff | annotate |
| Tue, 01 Oct 2002 13:26:10 +0200 | paulson | Numerous cosmetic changes, prompted by the new simplifier | file | diff | annotate |
| Tue, 27 Aug 2002 11:03:05 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Sun, 14 Jul 2002 19:59:55 +0200 | paulson | Removal of mono.thy | file | diff | annotate |
| Sun, 14 Jul 2002 15:14:43 +0200 | paulson | improved presentation markup | file | diff | annotate |
| Tue, 09 Jul 2002 23:05:26 +0200 | paulson | better document preparation | file | diff | annotate |
| Tue, 02 Jul 2002 13:28:08 +0200 | paulson | Tidying and introduction of various new theorems | file | diff | annotate |
| Mon, 24 Jun 2002 11:59:14 +0200 | paulson | moving some results around | file | diff | annotate |