| Tue, 27 Jul 1999 22:32:22 +0200 | wenzelm | fixed perms and final nl; | changeset | files |
| Tue, 27 Jul 1999 22:04:54 +0200 | wenzelm | fixed comments; | changeset | files |
| Tue, 27 Jul 1999 22:04:30 +0200 | wenzelm | fixed comment; | changeset | files |
| Tue, 27 Jul 1999 22:03:24 +0200 | wenzelm | inductive_cases(_i): Isar interface to mk_cases; | changeset | files |
| 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 |
| 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 |
| Tue, 27 Jul 1999 19:01:46 +0200 | paulson | moved the modal prover to modal.ML; installed the prover using TheoryDataFun | changeset | files |
| Tue, 27 Jul 1999 19:00:55 +0200 | paulson | split off modal.ML from provers.ML | changeset | files |