| 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 |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added test for higher-order function inductification; added debug messages | changeset | files |
| Sat, 24 Oct 2009 16:55:40 +0200 | bulwahn | added filtering of case constants in the definition retrieval of the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 16:55:37 +0200 | bulwahn | extended core of predicate compiler to expand tuples in introduction rules | changeset | files |
| Sat, 24 Oct 2009 16:55:35 +0200 | bulwahn | added tupled versions of examples for the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 16:54:32 +0200 | bulwahn | moved meta_fun_cong lemma into ML-file; tuned | changeset | files |