]>
2009-06-05 | Ferruccio Guidi | - Procedural convertible rewrites in the conclusion... | tree | commitdiff |
2009-06-05 | denes | First tests for paramodulation (pretty printer, unifica... | tree | commitdiff |
2009-06-04 | denes | First pretty printing functions | tree | commitdiff |
2009-06-04 | Enrico Tassi | minor changes here and there. We extend fo-unification... | tree | commitdiff |
2009-06-04 | Enrico Tassi | comments | tree | commitdiff |
2009-06-04 | Enrico Tassi | better type for comparison and implementation of KBO... | tree | commitdiff |
2009-06-04 | Enrico Tassi | more functors | tree | commitdiff |
2009-06-03 | Enrico Tassi | functorial abstraction over term blobs | tree | commitdiff |
2009-06-01 | denes | First implementation of unification on foterms | tree | commitdiff |
2009-06-01 | denes | First functions on substitutions for unification | tree | commitdiff |
2009-06-01 | Enrico Tassi | added a snapshot of comparison | tree | commitdiff |
2009-06-01 | Enrico Tassi | we rewrite the paramodulation code! | tree | commitdiff |