src/HOL/Import/HOL4Compat.thy
Thu, 14 Jun 2007 18:33:31 +0200 wenzelm tuned proofs: avoid implicit prems;
Wed, 30 Aug 2006 03:19:08 +0200 webertj lin_arith_prover: splitting reverted because of performance loss
Mon, 31 Jul 2006 18:05:40 +0200 krauss Removed an "apply arith" where there are already "No Subgoals"
Wed, 15 Feb 2006 23:57:06 +0100 obua fixed bugs, added caching
Mon, 29 Aug 2005 16:51:39 +0200 obua Updated import.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 24 Jun 2004 17:52:02 +0200 paulson replaced monomorphic abs definitions by abs_if
Sat, 17 Apr 2004 23:53:35 +0200 skalberg Minor cleanup of headers and some speedup of the HOL4 import.
Fri, 02 Apr 2004 17:37:45 +0200 skalberg Added HOL proof importer.
less more (0) tip