]> matita.cs.unibo.it Git - helm.git/commit
Snapshot.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 20 Mar 2006 16:30:08 +0000 (16:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 20 Mar 2006 16:30:08 +0000 (16:30 +0000)
commit14621bf944fd8cae2d0f0bc8bc0e0f8123cbffa7
treec838403e74bf65dd1afe6657ac4d8a661cd47196
parent1b302b03cc8c23844baa5f941a4a637dd39fac3b
Snapshot.
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/indexing.mli
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/inference.mli
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/saturation.mli
helm/software/components/tactics/paramodulation/utils.ml
helm/software/components/tactics/paramodulation/utils.mli