| Tue, 11 Dec 2001 16:22:09 +0100 | wenzelm | isatools "symbolinput" and "nonascii" have disappeared; | changeset | files |
| Tue, 11 Dec 2001 16:00:26 +0100 | wenzelm | added HOL-Library; | changeset | files |
| Tue, 11 Dec 2001 15:58:32 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | changeset | files |
| Tue, 11 Dec 2001 15:04:17 +0100 | wenzelm | removed altogether; | changeset | files |
| Tue, 11 Dec 2001 15:03:57 +0100 | wenzelm | removed unused stuff; | changeset | files |
| Tue, 11 Dec 2001 14:54:18 +0100 | berghofe | Updated. | changeset | files |