| Fri, 21 Dec 2001 20:58:25 +0100 | wenzelm | updated; | changeset | files |
| Fri, 21 Dec 2001 19:56:42 +0100 | wenzelm | updated; | changeset | files |
| 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 |
| Fri, 21 Dec 2001 15:18:07 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 21 Dec 2001 00:44:35 +0100 | wenzelm | updated; | changeset | files |
| Fri, 21 Dec 2001 00:43:58 +0100 | wenzelm | removed Types/records.tex; | changeset | files |
| Fri, 21 Dec 2001 00:40:52 +0100 | wenzelm | added add_fixes: derives mssing type scheme from mixfix; | changeset | files |
| Fri, 21 Dec 2001 00:40:16 +0100 | wenzelm | fixed inst_thm: proper domain of env; | changeset | files |
| Fri, 21 Dec 2001 00:38:04 +0100 | wenzelm | tuned; | changeset | files |