| Tue, 25 Dec 2001 10:02:01 +0100 | paulson | conversion to Isar | changeset | files |
| Sat, 22 Dec 2001 19:46:16 +0100 | paulson | tweaked the standard theorems | changeset | files |
| Sat, 22 Dec 2001 19:42:35 +0100 | paulson | Resid converted to Isar/ZF | changeset | files |
| Fri, 21 Dec 2001 23:20:29 +0100 | wenzelm | restart: sync_thy_loader instead of overly aggressive touch_all_thys; | changeset | files |
| Fri, 21 Dec 2001 23:18:46 +0100 | wenzelm | qualified point.more; | changeset | files |
| 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 |