Thu, 16 Dec 2010 13:54:17 +0100 | boehmes | merged | changeset | files |
Thu, 16 Dec 2010 13:34:28 +0100 | boehmes | fix lambda-lifting: take level of bound variables into account and also apply bound variables from outer scope | changeset | files |
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 |
Thu, 16 Dec 2010 12:19:00 +0000 | paulson | merged | changeset | files |
Thu, 16 Dec 2010 12:05:00 +0000 | paulson | made sml/nj happy | changeset | files |