]>
2012-11-25 | Ferruccio Guidi | some renaming to free the baseuri cic:/matita/lambda | commit | commitdiff |
2011-06-01 | Ferruccio Guidi | subst.ma: some additions | commit | commitdiff |
2011-05-30 | Ferruccio Guidi | basics: some additions | commit | commitdiff |
2011-03-22 | Ferruccio Guidi | - lambda_notation.ma: more notation and bug fixes | commit | commitdiff |
2011-03-10 | Andrea Asperti | diamond property | commit | commitdiff |
2011-02-10 | Ferruccio Guidi | we added some comments | commit | commitdiff |
2011-02-10 | Andrea Asperti | Added lambda | commit | commitdiff |