]>
2012-11-25 | Ferruccio Guidi | some renaming to free the baseuri cic:/matita/lambda | blob | commitdiff | raw |
2011-05-20 | Ferruccio Guidi | - we weakened SAT3 | blob | commitdiff | raw |
2011-05-19 | Ferruccio Guidi | cube.ma: some pts specifications of the lambda-cube | blob | commitdiff | raw | diff to current |