projects / helm.git / history
| 2009-07-22 | denes | Fixed conflicts due to problem when merging with UEQ... | blob | commitdiff | raw |
| 2009-07-09 | Enrico Tassi | New functorialization: paramod is abstracted over a... | blob | commitdiff | raw | diff to current |
| 2009-07-02 | Enrico Tassi | return type of paramod fixed according to the SZSOntology | blob | commitdiff | raw | diff to current |
| 2009-06-30 | denes | Moved ID management inside the bag | blob | commitdiff | raw | diff to current |
| 2009-06-29 | denes | Implemented orphan murdering technique | blob | commitdiff | raw | diff to current |
| 2009-06-26 | Andrea Asperti | deep subsumption activated | blob | commitdiff | raw | diff to current |
| 2009-06-25 | Enrico Tassi | timeouts are passed as arguments, so that tptpprover can | blob | commitdiff | raw | diff to current |
| 2009-06-25 | Enrico Tassi | the prover is almost OK, types in fuctors a bit extended to | blob | commitdiff | raw | diff to current |
| 2009-06-25 | Enrico Tassi | code refactoring for paramodulation | blob | commitdiff | raw | diff to current |