]> matita.cs.unibo.it Git - helm.git/commit
One-side indexing for commutativity
authordenes <??>
Mon, 20 Jul 2009 16:07:51 +0000 (16:07 +0000)
committerdenes <??>
Mon, 20 Jul 2009 16:07:51 +0000 (16:07 +0000)
commit50ed5ab75a38693c7b7558ca9487998e81bb7f89
tree19245aede234e88409cbdd5ae7070c2cbd48ce88
parent3727615c65c0d140ab5feeb41113315ecc9dbe36
One-side indexing for commutativity
helm/software/components/ng_paramodulation/foUnif.ml
helm/software/components/ng_paramodulation/index.ml
helm/software/components/ng_paramodulation/index.mli
helm/software/components/ng_paramodulation/orderings.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/superposition.ml