]> matita.cs.unibo.it Git - helm.git/commit
subsumption fixed and called in given_clause_fullred.
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Apr 2006 08:06:55 +0000 (08:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Apr 2006 08:06:55 +0000 (08:06 +0000)
commit21933bca0834a45119f567b17b6f641113b881bb
treed536a5016f3372c9b355c8774e8fe6222a220027
parentdbdd5bb6ea9a29c0a06bf29c6ff5db684c8ca0e9
subsumption fixed and called in given_clause_fullred.
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/inference.ml
components/tactics/paramodulation/saturation.ml