| Wed, 30 Dec 2009 01:08:33 +0100 | krauss | more regular axiom of infinity, with no (indirect) reference to overloaded constants | file | diff | annotate |
| Fri, 19 Jun 2009 17:23:21 +0200 | haftmann | discontinued ancient tradition to suffix certain ML module names with "_package" | file | diff | annotate |
| Thu, 03 Aug 2006 15:14:05 +0200 | obua | fixed generator | file | diff | annotate |
| Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | file | diff | annotate |
| Sat, 08 Oct 2005 22:39:39 +0200 | wenzelm | uses susp.ML, lazy_seq.ML, lazy_scan.ML; | file | diff | annotate |
| Mon, 12 Sep 2005 15:52:00 +0200 | obua | Added HOLLight support to importer. | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Sat, 17 Apr 2004 23:53:35 +0200 | skalberg | Minor cleanup of headers and some speedup of the HOL4 import. | file | diff | annotate |
| Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | file | diff | annotate |