]> matita.cs.unibo.it Git - helm.git/commit
New version of deep_subsumption
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 5 May 2006 14:56:30 +0000 (14:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 5 May 2006 14:56:30 +0000 (14:56 +0000)
commit0a910e65848253fc6c7b20231f5bc8482097b29c
tree853a7026be7ed1af99952a2af5fc966430284bfe
parentd72ed76ff623127f76d91aaff98bd2c109bfcd75
New version of deep_subsumption
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/saturation.ml