src/HOL/Import/HOL4Setup.thy
2009-12-30 krauss 2009-12-30 more regular axiom of infinity, with no (indirect) reference to overloaded constants
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2006-08-03 obua 2006-08-03 fixed generator
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-10-08 wenzelm 2005-10-08 uses susp.ML, lazy_seq.ML, lazy_scan.ML;
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-04-17 skalberg 2004-04-17 Minor cleanup of headers and some speedup of the HOL4 import.
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.