]> matita.cs.unibo.it Git - helm.git/commit
goal demodulated with new
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 May 2006 15:15:47 +0000 (15:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 May 2006 15:15:47 +0000 (15:15 +0000)
commitd72ed76ff623127f76d91aaff98bd2c109bfcd75
treecf5c8de2e08324e2d5fe1bfd96889101a14f463c
parent2b4dcaef8f1bef33eeb27e760a1fe518a58edc8a
goal demodulated with new
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/saturation.ml