]> 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)
commitb1ec882fae6023000ff6076e0a45f9809a6210e4
tree178fb4379cac02bccf8c62ba8dd57983855d0c1c
parentfc7466b8428ea409d97c0dfa347de9f4f51cb582
subsumption fixed and called in given_clause_fullred.
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/saturation.ml