]> matita.cs.unibo.it Git - helm.git/commit
New unification and new matching.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 24 Mar 2006 16:01:08 +0000 (16:01 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 24 Mar 2006 16:01:08 +0000 (16:01 +0000)
commit550c13e167fe77a1bea463b347227c8570f10072
treed0d2484f30c829c58e25e1f1487d5f23426bc79b
parentf79c3c7e2053d61e5ee41e92e88c050128c8f68e
New unification and new matching.
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/utils.ml