| Tue, 04 Nov 1997 12:03:48 +0100 | wenzelm | removed old thy data stuff; | changeset | files |
| Tue, 04 Nov 1997 09:27:32 +0100 | wenzelm | fixed set_current_thy pattern; | changeset | files |
| Tue, 04 Nov 1997 09:26:15 +0100 | wenzelm | isatool fixclasimp; | changeset | files |