]>
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 |