| Thu, 01 Apr 2010 08:48:33 +0200 | Cezary Kaliszyk | Let with multiple bindings. | changeset | files |
| Thu, 01 Apr 2010 08:06:01 +0200 | Cezary Kaliszyk | Fill the space below the figure. | changeset | files |
| Thu, 01 Apr 2010 06:47:37 +0200 | Christian Urban | last commit for now. | changeset | files |
| Thu, 01 Apr 2010 06:04:43 +0200 | Christian Urban | more on the conclusion | changeset | files |
| Thu, 01 Apr 2010 05:40:12 +0200 | Christian Urban | completed related work section | changeset | files |
| 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 |