| 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 |
| Mon, 12 Jul 1999 22:25:19 +0200 | wenzelm | removed metacuts_tac; | changeset | files |
| Mon, 12 Jul 1999 22:23:59 +0200 | wenzelm | tmp_path: *add* path; | changeset | files |
| Mon, 12 Jul 1999 22:23:31 +0200 | wenzelm | thms_containing: undeclared consts error; | changeset | files |
| Mon, 12 Jul 1999 22:23:07 +0200 | wenzelm | removed pretty_thm_no_hyps (again); | changeset | files |
| Mon, 12 Jul 1999 21:51:47 +0200 | wenzelm | removed merge_theories; | changeset | files |
| Mon, 12 Jul 1999 10:38:31 +0200 | wenzelm | may get BASH_PATH etc. from env; | changeset | files |
| Mon, 12 Jul 1999 10:32:30 +0200 | paulson | new theorems for the "at most" relation | changeset | files |
| Mon, 12 Jul 1999 10:02:38 +0200 | wenzelm | def: ==; | changeset | files |
| Sat, 10 Jul 1999 21:58:19 +0200 | wenzelm | tuned Interrupt msgs; | changeset | files |
| Sat, 10 Jul 1999 21:51:25 +0200 | wenzelm | pass exn; | changeset | files |