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 |
Thu, 14 Jan 2010 18:44:22 +0100 | haftmann | merged | changeset | files |