src/HOL/Import/import_syntax.ML
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.