Tue, 11 Dec 2001 17:02:46 +0100 | wenzelm | obsolete; | changeset | files |
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 |