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 |