]> matita.cs.unibo.it Git - helm.git/commit
Code restructuring.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 25 Jan 2006 08:09:21 +0000 (08:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 25 Jan 2006 08:09:21 +0000 (08:09 +0000)
commit70b192226bf8165c3c8b12c13c47a3828d685eee
tree0ffc7f31e2c346ac565bf38bddc59c82caef5fe9
parent286f98e50012f4525aaccb08f7b7d2a6d457ec61
Code restructuring.
helm/ocaml/tactics/paramodulation/indexing.ml
helm/ocaml/tactics/paramodulation/indexing.mli
helm/ocaml/tactics/paramodulation/inference.ml
helm/ocaml/tactics/paramodulation/inference.mli
helm/ocaml/tactics/paramodulation/saturation.ml
helm/ocaml/tactics/paramodulation/saturation.mli
helm/ocaml/tactics/paramodulation/utils.ml
helm/ocaml/tactics/paramodulation/utils.mli