]> matita.cs.unibo.it Git - helm.git/commit
Removed negative equations.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Apr 2006 09:02:37 +0000 (09:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Apr 2006 09:02:37 +0000 (09:02 +0000)
commitd811085efd81ce196a2d6cfee54ce1eb7a076a22
treed18abc1b604465c5e05147ac0190b1d8568db2ef
parente362056c17a503d3ac47600db90de1c534fb1fbb
Removed negative equations.
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/utils.ml
helm/software/components/tactics/tactics.mli