| Wed, 27 Nov 1996 16:41:56 +0100 | wenzelm | symbol name changes; | changeset | files |
| Wed, 27 Nov 1996 16:41:27 +0100 | wenzelm | improved some symbol names; | changeset | files |
| Wed, 27 Nov 1996 16:40:57 +0100 | wenzelm | changed symbolic char syntax to \<NAME> | changeset | files |
| Wed, 27 Nov 1996 16:40:23 +0100 | wenzelm | use_thy now automatically opens theory structures; | changeset | files |
| Wed, 27 Nov 1996 16:36:36 +0100 | wenzelm | renamed "symbolfont" to "symbols"; | changeset | files |
| Wed, 27 Nov 1996 13:51:49 +0100 | oheimb | moved if_cancel to the right place | changeset | files |
| Wed, 27 Nov 1996 13:13:21 +0100 | oheimb | added if_cancel later to simpset | changeset | files |