]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_paramodulation/clauses.ml
Now iterating superposition
[helm.git] / helm / software / components / ng_paramodulation / clauses.ml
2009-07-31 denesNow iterating superposition
2009-07-30 denesPorted demodulation on clauses
2009-07-29 denesAdded Clauses module