| Fri, 26 Jan 2007 10:24:12 +0100 | paulson | simplification of Suc/numeral combinations with min, max | changeset | files |
| Fri, 26 Jan 2007 10:22:42 +0100 | paulson | Fixed long-standing, MAJOR bug in "lt" | changeset | files |
| Fri, 26 Jan 2007 09:24:35 +0100 | haftmann | adjusted manual to improved treatment of overloaded constants | changeset | files |
| Thu, 25 Jan 2007 16:57:57 +0100 | nipkow | Allows evaluation of min/max o numerals. | changeset | files |