Thu, 01 Sep 2011 16:16:25 +0900 | Cezary Kaliszyk | HOL/Import: observe distinction between sets and predicates (where possible) | file | diff | annotate |
Wed, 13 Jul 2011 00:43:07 +0900 | Cezary Kaliszyk | Update HOLLightCompat | file | diff | annotate |
Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | file | diff | annotate |
Mon, 12 Sep 2005 15:52:00 +0200 | obua | Added HOLLight support to importer. | file | diff | annotate |