]>
2009-05-06 | Enrico Tassi | apply and auto.equational_case call saturation.solve_na... | blob | commitdiff | raw |
2009-04-30 | Enrico Tassi | run check_if_goal_is_solved on all goals (active+passive) | blob | commitdiff | raw | diff to current |
2009-04-30 | Andrea Asperti | Minor changes pro-automation | blob | commitdiff | raw | diff to current |
2009-04-29 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2009-04-28 | Enrico Tassi | huge commit in automation: | blob | commitdiff | raw | diff to current |
2009-02-13 | Wilmer Ricciotti | Axiomatization of real numbers (work in progress) | blob | commitdiff | raw | diff to current |