src/HOL/Import/import_syntax.ML
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-09-13 wenzelm 2005-09-13 global quick_and_dirty;
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-04-19 skalberg 2004-04-19 Forgot a couple of checks for the quick_and_dirty flag the other day.
2004-04-17 skalberg 2004-04-17 Minor cleanup of headers and some speedup of the HOL4 import.
2004-04-04 skalberg 2004-04-04 Added a number of explicit type casts and delayed evaluations (all seemingly needless) so that SML/NJ 110.9.1 would accept the importer...
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.