| Thu, 01 Apr 2010 03:28:28 +0200 | Christian Urban | more on the paper | changeset | files |
| Thu, 01 Apr 2010 01:05:05 +0200 | Christian Urban | added an item about alpha-equivalence (the existential should be closer to the abstraction) | changeset | files |
| Wed, 31 Mar 2010 22:48:35 +0200 | Christian Urban | polished everything up to TODO | changeset | files |