]>
2012-11-25 | Ferruccio Guidi | some renaming to free the baseuri cic:/matita/lambda | blob | commitdiff | raw |
2011-03-21 | Andrea Asperti | sn_lambda | blob | commitdiff | raw |
2011-03-11 | Andrea Asperti | Improvements. | blob | commitdiff | raw | diff to current |
2011-03-07 | Andrea Asperti | sottotermini e confluenza (manca pr_substs). | blob | commitdiff | raw | diff to current |