]>
2012-02-24 | Ferruccio Guidi | - "functional" component moved to Apps_2 | blob | commitdiff | raw |
2012-02-01 | Ferruccio Guidi | - notation fix for reducible and normal forms | blob | commitdiff | raw | diff to current |
2012-01-26 | Ferruccio Guidi | - main lemmas about abstract reducibility candidates... | blob | commitdiff | raw | diff to current |
2011-10-11 | Ferruccio Guidi | - cpr_lsubs_conf proved! (was pr2_change) | blob | commitdiff | raw | diff to current |
2011-10-10 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |