]>
2009-06-26 | Andrea Asperti | deep subsumption activated | blob | commitdiff | raw |
2009-06-25 | denes | Various fixes | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | code refactoring for paramodulation | blob | commitdiff | raw | diff to current |