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 |
Thu, 25 Jun 1998 16:12:02 +0200 | wenzelm | simplification procedure unit_eq_proc rewrites (?x::unit) = (); | changeset | files |