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