]> matita.cs.unibo.it Git - helm.git/commit
args removed from equalities.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 27 Mar 2006 15:02:32 +0000 (15:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 27 Mar 2006 15:02:32 +0000 (15:02 +0000)
commit102b6ad309695168ae95c2d4a9c3daa96599de21
tree9656c6842bc31119a7d32354529ece4687241afc
parentbbb2fa6a7f4f329d8ef8dac6ce34bf37dd37c064
args removed from equalities.
New selection strategy. De morgan: 253 s.
components/tactics/paramodulation/equality_indexing.ml
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/indexing.mli
components/tactics/paramodulation/inference.ml
components/tactics/paramodulation/inference.mli
components/tactics/paramodulation/saturation.ml
components/tactics/tactics.mli