| Wed, 24 Mar 2004 10:55:38 +0100 | paulson | auto update | changeset | files |
| Wed, 24 Mar 2004 10:55:20 +0100 | paulson | clarified | changeset | files |
| Wed, 24 Mar 2004 10:50:29 +0100 | paulson | streamlined treatment of quotients for the integers | changeset | files |
| Fri, 19 Mar 2004 11:06:53 +0100 | nipkow | added a few 0 and Suc lemmas | changeset | files |
| 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 |