| 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 |
| Sun, 25 Oct 2009 00:05:57 +0200 | wenzelm | merged | changeset | files |
| Sun, 25 Oct 2009 00:00:53 +0200 | wenzelm | adapted Function_Lib (cf. b8cdd3d73022); | changeset | files |
| Sat, 24 Oct 2009 20:47:10 +0200 | krauss | configuration flag "partials" | changeset | files |
| Fri, 23 Oct 2009 16:37:56 +0200 | krauss | renamed auto_term.ML -> relation.ML | changeset | files |