| Tue, 08 Aug 2000 01:26:34 +0200 | wenzelm | added forall_elim_vars_safe, norm_hhf_eq; | changeset | files |
| Tue, 08 Aug 2000 01:17:59 +0200 | wenzelm | norm_hhf results; | changeset | files |
| Tue, 08 Aug 2000 01:17:28 +0200 | wenzelm | prf_heading kind; | changeset | files |