| Tue, 11 Dec 2001 16:44:43 +0100 | wenzelm | obsolete; | changeset | files |
| Tue, 11 Dec 2001 16:25:31 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 11 Dec 2001 16:22:44 +0100 | wenzelm | \isasymindex made text mode; | changeset | files |
| 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 |
| Tue, 11 Dec 2001 13:43:00 +0100 | wenzelm | oops; | changeset | files |
| Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | changeset | files |