]> matita.cs.unibo.it Git - helm.git/commit
Implemented orphan murdering technique
authordenes <??>
Mon, 29 Jun 2009 10:41:50 +0000 (10:41 +0000)
committerdenes <??>
Mon, 29 Jun 2009 10:41:50 +0000 (10:41 +0000)
commitf49a2aa0634549cc4fb44067225514ba7de46fec
tree70f5e3a1340ea9f45a5576c8539ef76361f703bb
parent9611da1d5568a3dbc32354f0410254752e4aa613
Implemented orphan murdering technique
helm/software/components/ng_paramodulation/nCicParamod.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/pp.ml
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/superposition.mli