| Thu, 12 Nov 2009 09:11:36 +0100 | bulwahn | renaming code_pred_intros to code_pred_intro | file | diff | annotate |
| Thu, 12 Nov 2009 09:10:42 +0100 | bulwahn | changed modes to expected_modes; added UNION to code_pred_inlining; fixed some examples; tuned | file | diff | annotate |
| Wed, 28 Oct 2009 12:29:00 +0100 | bulwahn | improved handling of alternative rules; added test cases for alternative rules; normalized tracing in the predicate compiler | file | diff | annotate |
| Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |
| Sat, 24 Oct 2009 20:27:26 +0200 | bulwahn | further changes due to the previous merge in the predicate compiler | file | diff | annotate |