2010-03-18 Christian Urban another little bit for the introduction
2010-03-18 Cezary Kaliszyk Leroy96 supp=fv and fixes to make it compile
2010-03-18 Christian Urban merged
2010-03-18 Christian Urban more of the introduction
2010-03-18 Cezary Kaliszyk merge
2010-03-18 Cezary Kaliszyk Added a cleaned version of FSet.
2010-03-18 Christian Urban corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant
2010-03-18 Cezary Kaliszyk Continued description of alpha.
Loading...
(0) -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip