]> 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)
commit1d7de941e98a1d80ef3103636148537ada3e2b9e
treefffa073426bcd9c5339cca4f1a4ba24dc07f9222
parent4d1f0f4c6828aa67797b312ec6b790378c297f5a
Snapshot.
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/indexing.mli
components/tactics/paramodulation/inference.ml
components/tactics/paramodulation/inference.mli
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/saturation.mli
components/tactics/paramodulation/utils.ml
components/tactics/paramodulation/utils.mli