Thu, 15 Mar 2012 16:35:02 +0000 | paulson | replacing ":" by "\<in>" | file | diff | annotate |
Thu, 08 Mar 2012 16:43:29 +0000 | paulson | Structured and calculation-based proofs (with new trans 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 |
Fri, 18 Feb 2011 16:22:27 +0100 | wenzelm | more precise headers; | 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 |