src/HOL/Import/HOL4Compat.thy
2009-03-23 haftmann 2009-03-23 more canonical import, syntax fix
2009-03-04 nipkow 2009-03-04 Made Option a separate theory and renamed option_map to Option.map
2008-12-10 wenzelm 2008-12-10 fixed import: requires ContNotDenum;
2007-06-14 wenzelm 2007-06-14 tuned proofs: avoid implicit prems;
2006-08-30 webertj 2006-08-30 lin_arith_prover: splitting reverted because of performance loss
2006-07-31 krauss 2006-07-31 Removed an "apply arith" where there are already "No Subgoals"
2006-02-15 obua 2006-02-15 fixed bugs, added caching
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.