src/HOL/Import/ROOT.ML
2007-11-10 wenzelm 2007-11-10 qualified Proofterm.proofs;
2005-09-24 obua 2005-09-24 bug fix
2004-04-29 wenzelm 2004-04-29 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.