| Thu, 15 Mar 2012 16:35:02 +0000 | paulson | replacing ":" by "\<in>" | file | diff | annotate |
| Tue, 06 Mar 2012 15:15:49 +0000 | paulson | mathematical symbols instead of ASCII | file | diff | annotate |
| Thu, 24 Nov 2011 21:01:06 +0100 | wenzelm | modernized some old-style infix operations, which were left over from the time of ML proof scripts; | file | diff | annotate |
| Thu, 29 Apr 2010 22:56:32 +0200 | wenzelm | proper context for mksimps etc. -- via simpset of the running Simplifier; | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:31 +0100 | haftmann | dropped ID | file | diff | annotate |
| Wed, 19 Mar 2008 22:47:35 +0100 | wenzelm | eliminated change_claset/simpset; | 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 |