| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added further examples; added mode to code_pred command; tuned; some temporary things in Predicate_Compile_ex | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | processing of tuples in introduction rules | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added a few tricky examples with tuples; added alternative introduction rules for some constants; corrected mode analysis with negation; improved fetching of definitions | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | developing an executable the operator | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | generalizing singleton with a default value | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | changed elimination preprocessing due to an error with a JinjaThread predicate | changeset | files |