src/HOL/Import/Generate-HOLLight/ROOT.ML
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.