]> matita.cs.unibo.it Git - helm.git/commit
modifications/fixes for the integration with auto
authorAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 11:47:50 +0000 (11:47 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 21 Jul 2005 11:47:50 +0000 (11:47 +0000)
commite701ae61ea78b5bcbc8919ccb51f4f2ada8c5f23
tree1acddbcf763e47194d02e20704441f36e8392e43
parentf3db9a0fa7715783e93e4f927d5c73bff28090fa
modifications/fixes for the integration with auto
helm/ocaml/paramodulation/Makefile
helm/ocaml/paramodulation/discrimination_tree.ml
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml