| Thu, 23 Sep 2010 17:22:44 +0200 | bulwahn | moving the preprocessing of introduction rules after the code_pred command; added tuple expansion preprocessing of elimination rule | file | diff | annotate |
| Thu, 23 Sep 2010 14:50:18 +0200 | bulwahn | splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests | file | diff | annotate |