]> matita.cs.unibo.it Git - helm.git/commit
Rewrote the main loop for paramodulation
authordenes <??>
Tue, 23 Jun 2009 16:56:02 +0000 (16:56 +0000)
committerdenes <??>
Tue, 23 Jun 2009 16:56:02 +0000 (16:56 +0000)
commit9a7efce50583b19214320afac57fb90ae78353ea
treeae02104e6679510117fa2469c45035f889f4c5ef
parent2338b758114eb40daf3fadf4fb016a9a1af541b6
Rewrote the main loop for paramodulation
helm/software/components/ng_paramodulation/.depend
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/superposition.ml