src/HOL/Import/HOLLightCompat.thy
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.