]>
2009-06-10 | Enrico Tassi | 1) added simplification of actives w.r.t. selected | blob | commitdiff | raw |
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 |
2009-06-05 | denes | First tests for paramodulation (pretty printer, unifica... | blob | commitdiff | raw | diff to current |
2009-06-04 | Enrico Tassi | better type for comparison and implementation of KBO... | blob | commitdiff | raw | diff to current |
2009-06-04 | Enrico Tassi | more functors | blob | commitdiff | raw | diff to current |
2009-06-03 | Enrico Tassi | functorial abstraction over term blobs | blob | commitdiff | raw | diff to current |
2009-06-01 | Enrico Tassi | we rewrite the paramodulation code! | blob | commitdiff | raw | diff to current |