src/HOL/Import/HOLLightCompat.thy
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