Thu, 08 Apr 2010 11:40:13 +0200 | Christian Urban | properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper) | changeset | files |
Thu, 08 Apr 2010 10:25:38 +0200 | Christian Urban | merged | changeset | files |
Thu, 08 Apr 2010 10:25:13 +0200 | Christian Urban | some further changes | changeset | files |