| 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 |