2012-03-29 Cezary Kaliszyk Induction for Aux
2012-03-29 Cezary Kaliszyk Change definition of Aux to include alpha-convertibility for non-closed terms.
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 tip