| Fri, 21 Dec 2001 23:18:27 +0100 | wenzelm | hide base name of "make", "fields", "extend", "truncate", "more", | changeset | files |
| Fri, 21 Dec 2001 23:17:35 +0100 | wenzelm | Theory.hide_space_i true; | changeset | files |
| Fri, 21 Dec 2001 23:17:12 +0100 | wenzelm | hide: flag for full/base name; | changeset | files |
| 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 |