]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Feb 2006 15:08:45 +0000 (15:08 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 Feb 2006 15:08:45 +0000 (15:08 +0000)
commit273ad2ca7a9d46e7d4c28fa762f43b1bd9e64b07
treed83c7de2dc399ba49e819e4346ee50618fee2bfb
parent8304a104ea201db83bbe82430cbb29dd495dab10
snapshot
helm/ocaml/tactics/paramodulation/indexing.ml
helm/ocaml/tactics/paramodulation/indexing.mli
helm/ocaml/tactics/paramodulation/inference.ml
helm/ocaml/tactics/paramodulation/saturation.ml
helm/ocaml/tactics/paramodulation/utils.ml