| Mon, 29 Mar 2010 17:30:41 +0200 | bulwahn | removed yieldn in Lazy_Sequence and put in the ML structure; corrects behaviour of values command | changeset | files |
| Mon, 29 Mar 2010 17:30:40 +0200 | bulwahn | adding a hook for experiments in the predicate compilation process | changeset | files |
| Mon, 29 Mar 2010 17:30:40 +0200 | bulwahn | removing simple equalities in introduction rules in the predicate compiler | changeset | files |
| Mon, 29 Mar 2010 17:30:39 +0200 | bulwahn | adopting Predicate_Compile | changeset | files |
| Mon, 29 Mar 2010 17:30:38 +0200 | bulwahn | adding values command for new monad; added new random monad compilation to predicate_compile_quickcheck | changeset | files |
| Mon, 29 Mar 2010 17:30:36 +0200 | bulwahn | generalizing the compilation process of the predicate compiler | changeset | files |