| Thu, 23 Sep 2010 14:50:15 +0200 | bulwahn | adding check if user-given modes match type of predicates; removed useless function expand_tuples_elim | changeset | files |
| Thu, 23 Sep 2010 14:50:14 +0200 | bulwahn | handling equivalences smarter in the predicate compiler | changeset | files |
| Thu, 23 Sep 2010 14:50:14 +0200 | bulwahn | removing duplicate rewrite rule from simpset in predicate compiler | changeset | files |