]>
2011-11-04 | Ferruccio Guidi | - two discrimination lemmas | blob | commitdiff | raw |
2011-10-25 | Ferruccio Guidi | old pr2_subst1 (Basic-1) closed! | blob | commitdiff | raw | diff to current |
2011-10-11 | Ferruccio Guidi | - cpr_lsubs_conf proved! (was pr2_change) | blob | commitdiff | raw | diff to current |