src/HOL/Import/HOL/HOL4Real.thy
2005-09-28 obua 2005-09-28 mapped "-->" to "hol4-->"
2005-09-26 obua 2005-09-26 Release HOL4 and HOLLight Importer.
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-09-21 wenzelm 2005-09-21 new header syntax;
2005-08-29 obua 2005-08-29 Updated import.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-04-01 skalberg 2005-04-01 Updated import configuration.
2004-07-21 wenzelm 2004-07-21 updated;
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-05-29 wenzelm 2004-05-29 updated;
2004-05-21 wenzelm 2004-05-21 updated;
2004-05-01 wenzelm 2004-05-01 removed 'constdefs' hack;
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.