src/HOL/Import/import_package.ML
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2005-09-26 wenzelm 2005-09-26 moved disambiguate_frees to ProofKernel;
2005-09-26 obua 2005-09-26 Release HOL4 and HOLLight Importer.
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-09-24 obua 2005-09-24 remove debug clutter
2005-09-19 obua 2005-09-19 maybe the last bug fix (sigh)?
2005-09-13 wenzelm 2005-09-13 global quick_and_dirty;
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun;
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** Method.src;
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-05-31 wenzelm 2004-05-31 oops -- no Output.out here;
2004-05-29 wenzelm 2004-05-29 Output.output;
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.