| Tue, 19 Apr 2011 14:17:41 +0200 | berghofe | - renamed enum type class to spark_enum, to avoid confusion with | changeset | files |
| Tue, 19 Apr 2011 14:04:58 +0200 | blanchet | use "Spec_Rules" for finding axioms -- more reliable and cleaner | changeset | files |
| Tue, 19 Apr 2011 12:22:59 +0200 | blanchet | optimize trivial equalities early in Nitpick -- it shouldn't be the job of the peephole optimizer | changeset | files |
| Tue, 19 Apr 2011 12:21:57 +0200 | blanchet | remove a few Nitpick calls in examples -- another step toward making them run faster | changeset | files |