]>
2011-06-01 | Ferruccio Guidi | subst.ma: some additions | blob | commitdiff | raw |
2011-05-20 | Andrea Asperti | Porting to new reduction. | blob | commitdiff | raw | diff to current |
2011-05-19 | Ferruccio Guidi | cube.ma: some pts specifications of the lambda-cube | blob | commitdiff | raw | diff to current |
2011-04-20 | Andrea Asperti | convertibility. | blob | commitdiff | raw | diff to current |