| Fri, 21 Dec 2001 19:56:19 +0100 | wenzelm | isatool browser -o; | changeset | files |
| Fri, 21 Dec 2001 19:55:39 +0100 | wenzelm | removed Misc/Translations (text covered by Documents.thy); | changeset | files |
| Fri, 21 Dec 2001 17:31:45 +0100 | berghofe | Redundant patterns no longer cause errors. | changeset | files |
| Fri, 21 Dec 2001 17:31:08 +0100 | berghofe | Code generator now adds type constraints to val declarations (to make | changeset | files |