]>
2009-06-12 | denes | Implemented keep_simplified. | blob | commitdiff | raw |
2009-06-12 | Andrea Asperti | Renamed forward_simplify into simplify and backward_sim... | blob | commitdiff | raw | diff to current |
2009-06-11 | denes | Active goals are now demodulated after selecting a... | blob | commitdiff | raw | diff to current |
2009-06-10 | Enrico Tassi | 1) added simplification of actives w.r.t. selected | blob | commitdiff | raw | diff to current |
2009-06-10 | Enrico Tassi | right inference step completed | blob | commitdiff | raw | diff to current |
2009-06-09 | Enrico Tassi | almost complete superposition right step | blob | commitdiff | raw | diff to current |
2009-06-09 | Enrico Tassi | snaphost: supright almost done | blob | commitdiff | raw | diff to current |
2009-06-08 | Enrico Tassi | some more functors and a nice higher-order all_position... | blob | commitdiff | raw | diff to current |