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 |