]>
2013-01-23 | Ferruccio Guidi | - paths and left residuals: third case of the equivalen... | blob | commitdiff | raw |
2013-01-18 | Ferruccio Guidi | - paths and left residuals: second case of the equivale... | blob | commitdiff | raw | diff to current |
2013-01-16 | Ferruccio Guidi | - paths and left residuals: first case of the equivalen... | blob | commitdiff | raw | diff to current |
2013-01-15 | Ferruccio Guidi | - some additions and renaming ... | blob | commitdiff | raw | diff to current |
2013-01-15 | Ferruccio Guidi | - a few more lemmas ... | blob | commitdiff | raw | diff to current |
2013-01-06 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |