]>
2009-06-04 | Enrico Tassi | more functors | blob | commitdiff | raw |
2009-06-03 | Enrico Tassi | functorial abstraction over term blobs | blob | commitdiff | raw | diff to current |
2009-06-01 | denes | First functions on substitutions for unification | blob | commitdiff | raw | diff to current |
2009-06-01 | Enrico Tassi | added a snapshot of comparison | blob | commitdiff | raw | diff to current |
2009-06-01 | Enrico Tassi | we rewrite the paramodulation code! | blob | commitdiff | raw | diff to current |