| 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 |
| Fri, 30 Oct 2009 09:55:15 +0100 | bulwahn | renamed rpred to random | changeset | files |
| Sun, 01 Nov 2009 21:42:27 +0100 | wenzelm | Rules that characterize functional/relational specifications. | changeset | files |
| Sun, 01 Nov 2009 20:59:34 +0100 | wenzelm | adapted Item_Net; | changeset | files |
| Sun, 01 Nov 2009 20:55:39 +0100 | wenzelm | allow multi-index; | changeset | files |
| Sun, 01 Nov 2009 20:55:14 +0100 | wenzelm | added insert_safe, delete_safe variants; | changeset | files |