]> matita.cs.unibo.it Git - helm.git/commit
reverted to previous version, as it worked better...
authorAlberto Griggio <griggio@fbk.eu>
Wed, 22 Jun 2005 17:57:55 +0000 (17:57 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Wed, 22 Jun 2005 17:57:55 +0000 (17:57 +0000)
commit04fcadbd9e194847138d97a0a9892a475bc21c88
tree43a9f23e6c8b0ac4f466f587bafe2345e27a990e
parent9a960326e6cbdc9f21d35843d55ea5593ffe0c1b
reverted to previous version, as it worked better...
helm/ocaml/paramodulation/discrimination_tree.ml
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/path_indexing.ml
helm/ocaml/paramodulation/saturation.ml