Thu, 30 Sep 2010 15:37:11 +0200 | bulwahn | applying case beta reduction to case term before matching in predicate compile function flattening; moving case beta reduction function to Predicate_Compile_Aux | changeset | files |
Thu, 30 Sep 2010 11:52:22 +0200 | bulwahn | merged | changeset | files |
Thu, 30 Sep 2010 10:48:12 +0200 | bulwahn | adapting manual configuration in examples | changeset | files |