| Fri, 26 Jun 1998 15:10:40 +0200 | paulson | New rewrite unit_abs_eta_conv to compensate for unit_eq_proc | changeset | files |
| Thu, 25 Jun 1998 16:28:41 +0200 | wenzelm | fixed unit_eq; | changeset | files |
| Thu, 25 Jun 1998 16:13:20 +0200 | wenzelm | delsimprocs [unit_eq_proc]; | changeset | files |