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 |