]>
2010-03-02 | Wilmer Ricciotti | Some integrations to the ng library. | tree | commitdiff |
2010-02-19 | Andrea Asperti | (no commit message) | tree | commitdiff |
2010-02-16 | Andrea Asperti | Minor fixings. | tree | commitdiff |
2010-02-11 | Enrico Tassi | minimal sequent height set to 1 | tree | commitdiff |
2010-02-11 | Enrico Tassi | some experiment filtering with height | tree | commitdiff |
2010-02-10 | Andrea Asperti | addenda | tree | commitdiff |
2010-02-02 | Andrea Asperti | boolean arithmetics | tree | commitdiff |
2010-02-01 | Andrea Asperti | minus | tree | commitdiff |
2010-01-29 | Andrea Asperti | minus in nat.ma | tree | commitdiff |
2010-01-27 | Andrea Asperti | le_arith | tree | commitdiff |
2010-01-26 | Andrea Asperti | le_arith | tree | commitdiff |
2010-01-21 | Andrea Asperti | Esempio | tree | commitdiff |
2010-01-18 | Andrea Asperti | Updating. | tree | commitdiff |
2010-01-08 | Andrea Asperti | rebuilding the library | tree | commitdiff |