| Mon, 12 Jul 1999 22:28:38 +0200 | wenzelm | term/prop: include number; | changeset | files |
| Mon, 12 Jul 1999 22:27:51 +0200 | wenzelm | added show_hyps flag; | changeset | files |
| Mon, 12 Jul 1999 22:27:20 +0200 | wenzelm | export assumption_tac; | changeset | files |
| Mon, 12 Jul 1999 22:25:39 +0200 | wenzelm | removed merge_theories; | changeset | files |