| Tue, 24 May 2011 00:01:33 +0200 | blanchet | fixed de Bruijn index bug | changeset | files |
| Tue, 24 May 2011 00:01:33 +0200 | blanchet | use "eq_thm_prop" for slacker comparison -- ensures that backtick-quoted chained facts are recognized in the minimizer, among other things | changeset | files |
| Tue, 24 May 2011 00:01:33 +0200 | blanchet | filter Waldmeister facts better -- and don't encode type classes as predicates, since it doesn't like conditional equations | changeset | files |