| 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 |
| Thu, 30 Nov 2000 20:04:49 +0100 | wenzelm | cases/induct: tuned handling of facts ('consumes'); | changeset | files |