2005-11-30 | berghofe | Changed order of predicate arguments and quantifiers in strong induction rule. | changeset | files |
2005-11-30 | urbanc | fixed the lemma where the new names generated by nominal_induct | changeset | files |
2005-11-30 | urbanc | added one clause for substitution in the lambda-case and | changeset | files |
Loading... |