]> 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)
commitfd65a0a393bfb43d88ff936f40f045511e900e26
tree3286ee20e2065bd5301a51aad3f92af0dd038f9c
parent59a1175d22ad8f7d0b225ed0c89c8b2f2d4dd276
args removed from equalities.
New selection strategy. De morgan: 253 s.
helm/software/components/tactics/paramodulation/equality_indexing.ml
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/indexing.mli
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/inference.mli
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/tactics.mli