| Thu, 24 Sep 2009 08:28:27 +0200 | bulwahn | merged; adopted to changes from Code_Evaluation in the predicate compiler | changeset | files |
| Wed, 23 Sep 2009 16:20:13 +0200 | bulwahn | replaced sorry by oops; removed old debug functions in predicate compiler | changeset | files |
| Wed, 23 Sep 2009 16:20:13 +0200 | bulwahn | added first version of quickcheck based on the predicate compiler; added a few quickcheck examples | changeset | files |