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 |