src/HOL/Import/HOLLight/HOLLight.thy
2010-03-01 ago replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-01-28 ago new theory Algebras.thy for generic algebraic structures
2006-03-10 ago renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2006-02-17 ago use monomorphic sequences / scanners
2005-10-19 ago isatool fixheaders;
2005-09-26 ago Release HOL4 and HOLLight Importer.
2005-09-26 ago fixed disambiguation problem