src/HOL/Import/HOLLightCompat.thy
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.