| Thu, 27 Jul 2000 18:27:09 +0200 | wenzelm | export has_internal; | changeset | files |
| Thu, 27 Jul 2000 18:25:55 +0200 | wenzelm | added thm_deps; | changeset | files |
| Thu, 27 Jul 2000 18:25:44 +0200 | wenzelm | added enter_forward_proof; | changeset | files |
| Thu, 27 Jul 2000 18:25:28 +0200 | wenzelm | export write_graph; | changeset | files |
| Thu, 27 Jul 2000 18:25:01 +0200 | wenzelm | begin_theory: store *copy* of initial theory; | changeset | files |
| Thu, 27 Jul 2000 18:23:12 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 27 Jul 2000 11:44:29 +0200 | wenzelm | intro_elim_tac: bimatch_from; | changeset | files |