src/HOL/Import/HOL4Setup.thy
Wed, 30 Dec 2009 01:08:33 +0100 krauss more regular axiom of infinity, with no (indirect) reference to overloaded constants
Fri, 19 Jun 2009 17:23:21 +0200 haftmann discontinued ancient tradition to suffix certain ML module names with "_package"
Thu, 03 Aug 2006 15:14:05 +0200 obua fixed generator
Wed, 15 Feb 2006 23:57:06 +0100 obua fixed bugs, added caching
Sat, 08 Oct 2005 22:39:39 +0200 wenzelm uses susp.ML, lazy_seq.ML, lazy_scan.ML;
Mon, 12 Sep 2005 15:52:00 +0200 obua Added HOLLight support to importer.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
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