]> matita.cs.unibo.it Git - helm.git/commit
First attempt for refined goal selection strategy
authordenes <??>
Mon, 29 Jun 2009 13:33:42 +0000 (13:33 +0000)
committerdenes <??>
Mon, 29 Jun 2009 13:33:42 +0000 (13:33 +0000)
commit07fb52e761b192a97c6fe00c657e670b2d1fc2f1
treed9537b8c67fd4b835abdb2b28635d721786185bb
parenta232a59672817abd3d6ec07db0b20d8b3fe5ad3b
First attempt for refined goal selection strategy
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/foUtils.mli
helm/software/components/ng_paramodulation/orderings.ml
helm/software/components/ng_paramodulation/orderings.mli
helm/software/components/ng_paramodulation/paramod.ml