]> matita.cs.unibo.it Git - helm.git/commit
added some comments; general code cleanup
authorAlberto Griggio <griggio@fbk.eu>
Mon, 17 Oct 2005 14:50:41 +0000 (14:50 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 17 Oct 2005 14:50:41 +0000 (14:50 +0000)
commitb6bec181b81b3cbc56ec8914dcd7e6a029c7d84f
tree8f9aea46d0a8ba64cc2cbb80ccb8ad39d16e5b68
parentcb5c410736244f89736ea8f63a570f1db4db8d75
added some comments; general code cleanup
helm/ocaml/paramodulation/discrimination_tree.ml
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/path_indexing.ml
helm/ocaml/paramodulation/saturate_main.ml
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/utils.ml
helm/ocaml/paramodulation/utils.mli