| Tue, 27 Jul 1999 22:00:00 +0200 | wenzelm | safe_step_tac / step_tac; | changeset | files |
| Tue, 27 Jul 1999 21:59:23 +0200 | wenzelm | init / init_theory: pass int flag; | changeset | files |
| Tue, 27 Jul 1999 21:58:59 +0200 | wenzelm | added thy_switch kind; | changeset | files |
| Tue, 27 Jul 1999 21:58:39 +0200 | wenzelm | removed update_context; | changeset | files |
| Tue, 27 Jul 1999 21:57:58 +0200 | wenzelm | removed update_context; | changeset | files |
| Tue, 27 Jul 1999 21:56:32 +0200 | wenzelm | removed restart; | changeset | files |
| Tue, 27 Jul 1999 21:55:39 +0200 | wenzelm | setup_thy_loader; | changeset | files |