Tue, 23 Jun 2009 21:03:31 +0200 | haftmann | Datatype.get_all | changeset | files |
Tue, 23 Jun 2009 18:10:39 +0200 | haftmann | corrected handling of free variables in arguments | changeset | files |
Tue, 23 Jun 2009 17:17:07 +0200 | haftmann | tuned proof | changeset | files |