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