]> matita.cs.unibo.it Git - helm.git/commit
various updates, removed proofs for now because they are the real bottleneck!!
authorAlberto Griggio <griggio@fbk.eu>
Wed, 29 Jun 2005 15:08:20 +0000 (15:08 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Wed, 29 Jun 2005 15:08:20 +0000 (15:08 +0000)
commitbbe7741f3bbaacb93f2876c018dace82f5e929b8
treed4a637d33f8a353cee1a5d4a6df3506d4b88c930
parentf1d49aeeb0ddcc3773a393ebef57c9cfa1e87f8e
various updates, removed proofs for now because they are the real bottleneck!!
helm/ocaml/paramodulation/Makefile
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/test_indexing.ml
helm/ocaml/paramodulation/utils.ml
helm/ocaml/paramodulation/utils.mli