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