projects / helm.git / history
| 2009-07-20 | Enrico Tassi | sorted modules | commit | commitdiff |
| 2009-07-14 | denes | . | commit | commitdiff |
| 2009-06-25 | Enrico Tassi | code refactoring for paramodulation | commit | commitdiff |
| 2009-06-09 | Enrico Tassi | snaphost: supright almost done | commit | commitdiff |
| 2009-06-09 | Enrico Tassi | fixed building | commit | commitdiff |
| 2009-06-08 | Enrico Tassi | some more functors and a nice higher-order all_position... | commit | commitdiff |
| 2009-06-06 | Enrico Tassi | some renaming to make ocamlopt happy | commit | commitdiff |
| 2009-06-05 | denes | First tests for paramodulation (pretty printer, unifica... | commit | commitdiff |
| 2009-06-04 | Enrico Tassi | more functors | commit | commitdiff |
| 2009-06-01 | denes | First functions on substitutions for unification | commit | commitdiff |
| 2009-06-01 | Enrico Tassi | we rewrite the paramodulation code! | commit | commitdiff |