| 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 |