Sat, 30 Jan 2010 16:58:46 +0100 | berghofe | Added infrastructure for simplifying equality constraints in cases rules. | changeset | files |
Sat, 30 Jan 2010 16:56:28 +0100 | berghofe | Added "constraints" tag / attribute for specifying the number of equality | changeset | files |
Tue, 02 Feb 2010 18:12:05 +0100 | boehmes | updated SMT certificates | changeset | files |