src/HOL/Import/replay.ML
Thu, 31 May 2007 01:25:24 +0200 wenzelm TextIO.inputLine: use present SML B library version;
Fri, 20 Oct 2006 17:07:26 +0200 haftmann slight cleanup
Thu, 06 Apr 2006 16:13:17 +0200 haftmann cleanup in typedef/datatype package
Tue, 07 Mar 2006 16:03:31 +0100 obua Added HOL-ZF to Isabelle.
Thu, 16 Feb 2006 14:59:57 +0100 obua cache improvements
Thu, 16 Feb 2006 04:17:19 +0100 obua variable counter is now also cached
Wed, 15 Feb 2006 23:57:06 +0100 obua fixed bugs, added caching
Fri, 21 Oct 2005 18:14:38 +0200 wenzelm OldGoals;
Fri, 23 Sep 2005 10:01:14 +0200 obua replay type_introduction fix
Fri, 23 Sep 2005 00:52:13 +0200 obua add debug messages
Fri, 16 Sep 2005 21:02:15 +0200 obua fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions
Mon, 12 Sep 2005 15:52:00 +0200 obua Added HOLLight support to importer.
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Sat, 17 Apr 2004 23:53:35 +0200 skalberg Minor cleanup of headers and some speedup of the HOL4 import.
Fri, 02 Apr 2004 17:37:45 +0200 skalberg Added HOL proof importer.
less more (0) tip