| 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 |
| Wed, 25 Jun 2008 12:15:05 +0200 | wenzelm | pprint: back to proper output of markup, with workaround for Poly/ML crash; | changeset | files |
| Tue, 24 Jun 2008 23:38:44 +0200 | wenzelm | back to 1.36 (Poly/ML crash!?); | changeset | files |
| Tue, 24 Jun 2008 22:27:36 +0200 | wenzelm | updated generated file; | changeset | files |