projects / helm.git / history
| 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 |