]> matita.cs.unibo.it Git - helm.git/commit
Ported innermost strategy for demodulation from trunk
authordenes <??>
Fri, 25 Sep 2009 22:14:33 +0000 (22:14 +0000)
committerdenes <??>
Fri, 25 Sep 2009 22:14:33 +0000 (22:14 +0000)
commitd5e373656748835ecfe33041bbb87b786446b75f
tree9c77163bcf018c66fdd57cd9de9604f74b922d87
parentd35aca0e979a9c7edbc60c44040360d52be8ca82
Ported innermost strategy for demodulation from trunk
helm/software/components/ng_paramodulation/.depend.opt
helm/software/components/ng_paramodulation/nCicParamod.ml
helm/software/components/ng_paramodulation/superposition.ml
helm/software/components/ng_paramodulation/superposition.mli
helm/software/components/ng_paramodulation/terms.mli