| Fri, 26 Jan 2007 13:59:04 +0100 | haftmann | clarified code | changeset | files |
| Fri, 26 Jan 2007 13:59:03 +0100 | haftmann | exported interface for explicit error messages | changeset | files |
| Fri, 26 Jan 2007 13:59:02 +0100 | haftmann | added NestedEnvironment | changeset | files |
| Fri, 26 Jan 2007 10:48:09 +0100 | paulson | Improved debugging | changeset | files |
| Fri, 26 Jan 2007 10:46:22 +0100 | paulson | Streamlined and improved debugging messages | changeset | files |
| Fri, 26 Jan 2007 10:46:15 +0100 | nipkow | more fixes of arithmetic for min/max. | changeset | files |
| Fri, 26 Jan 2007 10:24:33 +0100 | paulson | min/max lemmas (actually unused!) | changeset | files |