]>
2009-12-02 | Andrea Asperti | The new paramodulation functions instantiated over... | blob | commitdiff | raw |
2009-11-25 | Andrea Asperti | Exported forward_inference_step | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | code refactoring for paramodulation | blob | commitdiff | raw | diff to current |