src/HOL/Import/Generate-HOLLight/GenHOLLight.thy
2010-02-19 haftmann 2010-02-19 moved remaning class operations from Algebras.thy to Groups.thy
2010-01-28 haftmann 2010-01-28 new theory Algebras.thy for generic algebraic structures
2006-08-03 obua 2006-08-03 fixed generator
2006-08-01 obua 2006-08-01 removed skip
2006-03-10 haftmann 2006-03-10 renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-09-19 obua 2005-09-19 maybe the last bug fix (sigh)?
2005-09-17 obua 2005-09-17 1) mapped .. and == constants 2) improved protect_varname
2005-09-16 obua 2005-09-16 fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.