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