| 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 |