| 1999-07-27 | wenzelm | fixed comment; | changeset | files |
| 1999-07-27 | wenzelm | inductive_cases(_i): Isar interface to mk_cases; | changeset | files |
| 1999-07-27 | wenzelm | safe_step_tac / step_tac; | changeset | files |
| 1999-07-27 | wenzelm | init / init_theory: pass int flag; | changeset | files |
| 1999-07-27 | wenzelm | added thy_switch kind; | changeset | files |
| 1999-07-27 | wenzelm | removed update_context; | changeset | files |
| 1999-07-27 | wenzelm | removed update_context; | changeset | files |
| 1999-07-27 | wenzelm | removed restart; | changeset | files |
| 1999-07-27 | wenzelm | setup_thy_loader; | changeset | files |
| 1999-07-27 | wenzelm | added update_thy_only; | changeset | files |
| 1999-07-27 | paulson | installation of simplifier and classical reasoner, better rules etc | changeset | files |
| 1999-07-27 | paulson | moved the modal prover to modal.ML; installed the prover using TheoryDataFun | changeset | files |
| 1999-07-27 | paulson | split off modal.ML from provers.ML | changeset | files |
| 1999-07-27 | paulson | fixed the comments... | changeset | files |
| Loading... | |||