src/HOL/Import/HOLLightCompat.thy
2011-09-01 Cezary Kaliszyk 2011-09-01 HOL/Import: observe distinction between sets and predicates (where possible)
2011-07-13 Cezary Kaliszyk 2011-07-13 Update HOLLightCompat
2011-01-16 wenzelm 2011-01-16 tuned headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.