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)
Thu, 08 Apr 2010 10:25:38 +0200 Christian Urban merged
Thu, 08 Apr 2010 10:25:13 +0200 Christian Urban some further changes
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip