| Fri, 19 Mar 2004 10:51:03 +0100 | paulson | conversion of Hyperreal/Lim to new-style | changeset | files |
| Fri, 19 Mar 2004 10:50:06 +0100 | paulson | removed redundant thms | changeset | files |
| Fri, 19 Mar 2004 10:48:22 +0100 | paulson | new thms | changeset | files |
| Fri, 19 Mar 2004 10:46:25 +0100 | paulson | New simplification ordering to move numerals together. Fixes a bug in the | changeset | files |
| Fri, 19 Mar 2004 10:44:20 +0100 | paulson | stylistic tweaks | changeset | files |
| Fri, 19 Mar 2004 10:42:38 +0100 | paulson | Removing the datatype declaration of "order" allows the standard General.order | changeset | files |
| Wed, 17 Mar 2004 14:00:45 +0100 | berghofe | case_tac no longer raises THM exception if goal number is out of range. | changeset | files |
| Mon, 15 Mar 2004 10:58:49 +0100 | paulson | auto update | changeset | files |
| Mon, 15 Mar 2004 10:58:29 +0100 | paulson | heavy tidying | changeset | files |
| Mon, 15 Mar 2004 10:46:19 +0100 | paulson | heavy tidying | changeset | files |
| Mon, 15 Mar 2004 10:46:01 +0100 | paulson | new lemma | changeset | files |
| Mon, 15 Mar 2004 10:45:31 +0100 | paulson | more up-to-date error msg | changeset | files |
| Fri, 12 Mar 2004 10:47:59 +0100 | webertj | \<dots> replaced by ... | changeset | files |
| Thu, 11 Mar 2004 13:34:13 +0100 | webertj | refute | changeset | files |
| Thu, 11 Mar 2004 13:03:31 +0100 | webertj | Documentation updated | changeset | files |
| Thu, 11 Mar 2004 11:24:54 +0100 | webertj | Refute_Examples added/fixed | changeset | files |
| Thu, 11 Mar 2004 03:53:43 +0100 | kleing | look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only | changeset | files |
| Thu, 11 Mar 2004 00:15:24 +0100 | webertj | SML/NJ compatibility fixes | changeset | files |
| Wed, 10 Mar 2004 22:39:12 +0100 | webertj | added Refute_Examples.thy | changeset | files |
| Wed, 10 Mar 2004 22:37:33 +0100 | webertj | changed default values for refute | changeset | files |
| Wed, 10 Mar 2004 22:35:37 +0100 | webertj | *** empty log message *** | changeset | files |
| Wed, 10 Mar 2004 22:33:48 +0100 | webertj | support for non-recursive IDTs, The, arbitrary, Hilbert_Choice.Eps | changeset | files |
| Wed, 10 Mar 2004 20:36:11 +0100 | webertj | Updated examples | changeset | files |
| Wed, 10 Mar 2004 20:31:47 +0100 | webertj | *** empty log message *** | changeset | files |
| Wed, 10 Mar 2004 20:28:18 +0100 | webertj | Internal and external SAT solvers | changeset | files |
| Wed, 10 Mar 2004 20:27:56 +0100 | webertj | Formulas of propositional logic | changeset | files |
| Wed, 10 Mar 2004 20:21:08 +0100 | webertj | ZCHAFF_HOME variable added | changeset | files |
| Wed, 10 Mar 2004 10:34:56 +0100 | paulson | new thm | changeset | files |
| Wed, 10 Mar 2004 10:34:49 +0100 | paulson | strengthened the axclass claims | changeset | files |
| Tue, 09 Mar 2004 04:22:50 +0100 | kleing | suggest -p 1 proof object level for HOL | changeset | files |