| Thu, 16 Dec 2010 12:33:06 +0100 | boehmes | fixed introduction of explicit application function: bound variables always need explicit application if they are applied to some term | changeset | files |
| Thu, 16 Dec 2010 12:07:36 +0100 | boehmes | fixed eta-expansion: introduce a couple of abstractions at once | changeset | files |