]> matita.cs.unibo.it Git - helm.git/commit
Fixed wrong types in proof terms
authordenes <??>
Thu, 18 Jun 2009 10:59:22 +0000 (10:59 +0000)
committerdenes <??>
Thu, 18 Jun 2009 10:59:22 +0000 (10:59 +0000)
commitc091ca7a030a85a529543de98e45c54284028b63
treeae8af6f59cccea12166b189e3da3284a9630decc
parent7477c3dbbc2fafe248d48302be0d6ba4cb38d062
Fixed wrong types in proof terms
helm/software/components/ng_paramodulation/nCicBlob.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/paramod.mli
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/superposition.mli
helm/software/components/ng_tactics/nTactics.ml