Sun, 10 Jan 2010 18:03:20 +0100 | berghofe | Added setup for simplification of equality constraints in induction rules. | changeset | files |
Sun, 10 Jan 2010 18:01:04 +0100 | berghofe | Added infrastructure for simplifying equality constraints. | changeset | files |
Fri, 15 Jan 2010 08:27:21 +0100 | haftmann | spurious proof failure | changeset | files |