| Wed, 25 Jun 2008 17:38:34 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 25 Jun 2008 17:38:32 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | changeset | files |
| Wed, 25 Jun 2008 14:54:45 +0200 | berghofe | - Equivariance simpset used in proofs of strong induction and inversion | changeset | files |