]>
2011-06-01 | Ferruccio Guidi | subst.ma: some additions | blob | commitdiff | raw |
2011-05-30 | Ferruccio Guidi | basics: some additions | blob | commitdiff | raw | diff to current |
2011-03-22 | Ferruccio Guidi | - lambda_notation.ma: more notation and bug fixes | blob | commitdiff | raw | diff to current |
2011-03-10 | Andrea Asperti | diamond property | blob | commitdiff | raw | diff to current |
2011-02-10 | Ferruccio Guidi | we added some comments | blob | commitdiff | raw | diff to current |
2011-02-10 | Andrea Asperti | Added lambda | blob | commitdiff | raw | diff to current |