]> matita.cs.unibo.it Git - helm.git/commit
Some changes towards integration of setoid-rewriting.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 8 Feb 2010 07:24:34 +0000 (07:24 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 8 Feb 2010 07:24:34 +0000 (07:24 +0000)
commite22808c929a9cebf5e4e2b7428ff0cbf89e1f92a
tree93c06b8cfd1dc3c44b07502eaaef0a565eb39e14
parentf7804325dbb5b51820edefe5d5ffff89809fe35c
Some changes towards integration of setoid-rewriting.
helm/software/components/ng_paramodulation/cicBlob.ml
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/nCicBlob.ml
helm/software/components/ng_paramodulation/nCicParamod.ml
helm/software/components/ng_paramodulation/nCicProof.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/terms.ml
helm/software/components/ng_paramodulation/terms.mli