]> matita.cs.unibo.it Git - helm.git/commit
some optimizations...
authorAlberto Griggio <griggio@fbk.eu>
Mon, 20 Jun 2005 18:04:09 +0000 (18:04 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 20 Jun 2005 18:04:09 +0000 (18:04 +0000)
commitbdc855b1b6c9552a49a01769cb906a438ca60cc4
tree87f89566c633ce283056f546fe15513219a98f8f
parent9e5653ea4b28ee758169b35129b2715743c9496c
some optimizations...
helm/ocaml/paramodulation/Makefile
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/path_indexing.ml
helm/ocaml/paramodulation/saturation.ml