Sat, 17 Mar 2012 12:36:11 +0000 | paulson | tidying and structured proofs | 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 |
Thu, 23 Jul 2009 18:44:09 +0200 | wenzelm | renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset; | 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 |