Tue, 07 Nov 2006 14:30:03 +0100 | wenzelm | simplified dest_eq; | changeset | files |
Tue, 07 Nov 2006 14:30:00 +0100 | wenzelm | commented out parts which have been inactive (unintentionally) for a long time; | changeset | files |
Tue, 07 Nov 2006 14:29:58 +0100 | wenzelm | removed obsolete dest_eq_typ; | changeset | files |