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