src/HOL/Import/shuffler.ML
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
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-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.