| Fri, 21 Dec 2001 23:16:17 +0100 | wenzelm | HOL/record: shared operations ("more", "fields", etc.) now need to be | changeset | files |
| Fri, 21 Dec 2001 20:58:42 +0100 | wenzelm | tuned; | changeset | files |
| 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 |