| Tue, 27 Jul 1999 21:55:39 +0200 | wenzelm | setup_thy_loader; | changeset | files |
| Tue, 27 Jul 1999 21:55:19 +0200 | wenzelm | added update_thy_only; | changeset | files |
| Tue, 27 Jul 1999 19:02:43 +0200 | paulson | installation of simplifier and classical reasoner, better rules etc | changeset | files |