]>
2010-02-16 | Andrea Asperti | Minor fixings. | blob | commitdiff | raw |
2010-02-11 | Enrico Tassi | minimal sequent height set to 1 | blob | commitdiff | raw | diff to current |
2010-02-11 | Enrico Tassi | some experiment filtering with height | blob | commitdiff | raw | diff to current |
2010-02-10 | Andrea Asperti | addenda | blob | commitdiff | raw | diff to current |
2010-02-02 | Andrea Asperti | boolean arithmetics | blob | commitdiff | raw | diff to current |
2010-02-01 | Andrea Asperti | minus | blob | commitdiff | raw | diff to current |
2010-01-29 | Andrea Asperti | minus in nat.ma | blob | commitdiff | raw | diff to current |
2010-01-27 | Andrea Asperti | le_arith | blob | commitdiff | raw | diff to current |
2010-01-26 | Andrea Asperti | le_arith | blob | commitdiff | raw | diff to current |
2010-01-21 | Andrea Asperti | Esempio | blob | commitdiff | raw | diff to current |
2010-01-18 | Andrea Asperti | Updating. | blob | commitdiff | raw | diff to current |
2010-01-08 | Andrea Asperti | rebuilding the library | blob | commitdiff | raw | diff to current |