]> matita.cs.unibo.it Git - helm.git/commit
goals after a superposition step are relocated
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jun 2006 10:01:16 +0000 (10:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 Jun 2006 10:01:16 +0000 (10:01 +0000)
commit14eaf9296ca8a24b715261a98898fab3104554f0
tree801af00dbdac2b7e938c9d7e99a229fd19d29f2f
parente31bb143e3a303321e509f415764338849b7e516
goals after a superposition step are relocated
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/indexing.mli
helm/software/components/tactics/paramodulation/saturation.ml