| Fri, 08 Dec 2000 15:10:36 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Dec 2000 00:04:34 +0100 | wenzelm | unsymbolize; | changeset | files |
| Thu, 07 Dec 2000 22:35:25 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Dec 2000 22:27:57 +0100 | wenzelm | Id; | changeset | files |
| Thu, 07 Dec 2000 22:24:40 +0100 | wenzelm | generate table of isabelle symbols; | changeset | files |
| Thu, 07 Dec 2000 19:26:30 +0100 | kleing | removed Digest (temporarily, not up to date) | changeset | files |
| Thu, 07 Dec 2000 18:22:17 +0100 | kleing | updated for is_class changes | changeset | files |