]> matita.cs.unibo.it Git - helm.git/commit
Various fixes
authordenes <??>
Thu, 25 Jun 2009 15:24:09 +0000 (15:24 +0000)
committerdenes <??>
Thu, 25 Jun 2009 15:24:09 +0000 (15:24 +0000)
commit2c2b31c242aa81dc6f3c73e7e2a3ec0789a21edd
tree2d7a3d04bbf81b0017d02a8ce52e267b6d3e9115
parent571d199acd4e6743a48f8f64f28c62d18182d04d
Various fixes
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/nCicProof.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
helm/software/components/ng_paramodulation/terms.ml
helm/software/components/ng_paramodulation/terms.mli