| Wed, 30 Nov 2005 16:59:19 +0100 | berghofe | Changed order of predicate arguments and quantifiers in strong induction rule. | changeset | files |
| Wed, 30 Nov 2005 15:30:08 +0100 | urbanc | fixed the lemma where the new names generated by nominal_induct | changeset | files |
| Wed, 30 Nov 2005 15:27:30 +0100 | urbanc | added one clause for substitution in the lambda-case and | changeset | files |