| Mon, 02 Nov 2009 15:49:59 +0100 | boehmes | split parsing of counterexamples from translation into terms (avoids Term.dummyT and ill-typed terms) | changeset | files |
| Mon, 02 Nov 2009 09:01:18 +0100 | bulwahn | merged | changeset | files |
| Sat, 31 Oct 2009 10:02:37 +0100 | bulwahn | predicate compiler creates code equations for predicates with full mode | changeset | files |