]>
2011-09-06 | Ferruccio Guidi | - confluence of context-free reduction on terms (tpr... | blob | commitdiff | raw |
2011-08-27 | Ferruccio Guidi | - the shift function is now defined and cpr_shift_fwd... | blob | commitdiff | raw | diff to current |
2011-08-25 | Ferruccio Guidi | - weakening leq, we proved cpr_bind_dx | blob | commitdiff | raw | diff to current |
2011-08-10 | Ferruccio Guidi | refactoring completed! | blob | commitdiff | raw | diff to current |
2011-08-10 | Ferruccio Guidi | the refactoring continues ... | blob | commitdiff | raw | diff to current |