| Wed, 25 Jun 2008 17:38:36 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | changeset | files |
| Wed, 25 Jun 2008 17:38:35 +0200 | wenzelm | antiquote: need to quote outer keywords; | changeset | files |
| 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 |