]>
2011-07-28 | Ferruccio Guidi | confluence: case 13 closed | blob | commitdiff | raw |
2011-07-27 | Ferruccio Guidi | - xoa: bug fix and improvement | blob | commitdiff | raw | diff to current |
2011-07-26 | Ferruccio Guidi | tpr: more inversion lemmas and a main property stated | blob | commitdiff | raw | diff to current |
2011-07-25 | Ferruccio Guidi | lift_weight: bug fix | blob | commitdiff | raw | diff to current |
2011-07-25 | Ferruccio Guidi | - inversion lemmas for tpr completed! | blob | commitdiff | raw | diff to current |
2011-07-24 | Ferruccio Guidi | - some renaming | blob | commitdiff | raw | diff to current |