src/HOL/Import/HOL4Compat.thy
2005-08-29 obua 2005-08-29 Updated import.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-24 paulson 2004-06-24 replaced monomorphic abs definitions by abs_if
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.