src/HOL/Import/HOL/ROOT.ML
2005-09-29 wenzelm 2005-09-29 HOL4 image is back;
2005-09-26 obua 2005-09-26 tuned
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-04-01 skalberg 2005-04-01 Updated import configuration.
2004-05-01 wenzelm 2004-05-01 removed 'constdefs' hack;
2004-04-22 wenzelm 2004-04-22 tmp hack get back to old 'constdefs';
2004-04-17 skalberg 2004-04-17 Minor cleanup of headers and some speedup of the HOL4 import.
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.