| Thu, 15 Mar 2012 17:38:05 +0000 | paulson | beautification and structured proofs | file | diff | annotate |
| Thu, 15 Mar 2012 16:35:02 +0000 | paulson | replacing ":" by "\<in>" | file | diff | annotate |
| Wed, 14 Mar 2012 17:19:08 +0000 | paulson | structured case and induct rules | file | diff | annotate |
| Tue, 06 Mar 2012 16:06:52 +0000 | paulson | Using mathematical notation for <-> and cardinal arithmetic | file | diff | annotate |
| Tue, 06 Mar 2012 15:15:49 +0000 | paulson | mathematical symbols instead of ASCII | file | diff | annotate |
| Sun, 20 Nov 2011 20:15:02 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Mon, 11 Feb 2008 15:40:21 +0100 | krauss | Made theory names in ZF disjoint from HOL theory names to allow loading both developments | file | diff | annotate |