]> matita.cs.unibo.it Git - helm.git/commit
Ported demodulation on clauses
authordenes <??>
Thu, 30 Jul 2009 21:30:08 +0000 (21:30 +0000)
committerdenes <??>
Thu, 30 Jul 2009 21:30:08 +0000 (21:30 +0000)
commitb714e87e96f14f332a5157567a4c62a4b28fa8eb
tree5f0be4cd39992b175ab17cc2089ab6e04d478b70
parentddba563cd3f42a7947a0e0b464d5dd3c5f9b299d
Ported demodulation on clauses
helm/software/components/ng_paramodulation/clauses.ml
helm/software/components/ng_paramodulation/clauses.mli
helm/software/components/ng_paramodulation/orderings.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/pp.ml
helm/software/components/ng_paramodulation/superposition.ml