| Thu, 30 Nov 2000 20:05:54 +0100 | wenzelm | added is_replaced_dummy_pattern; | changeset | files |
| Thu, 30 Nov 2000 20:05:34 +0100 | wenzelm | renamed "equivalence_class" to "class"; | changeset | files |
| Thu, 30 Nov 2000 20:05:10 +0100 | wenzelm | schematic goals; | changeset | files |