| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | cleaned up | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added theory with alternative definitions for the predicate compiler; cleaned up examples | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | importing theorems correctly causes problems with mutual recursive predicates in the predicate compiler; must be discussed with Stefan first | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | higher-order arguments in different rules are fixed to one name in the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | changed importing introduction rules to fix the same type variables in all introduction rules; improved mode analysis for partially applied relations; added test case; tuned | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | changed proof method to handle widen predicate in JinjaThreads | changeset | files |