]> matita.cs.unibo.it Git - helm.git/commit
Major changes to auto, documented on the helm mailing list.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Oct 2006 15:43:02 +0000 (15:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Oct 2006 15:43:02 +0000 (15:43 +0000)
commit61f3a8a688132be943b81befa5805e27148f2038
tree78dffee00a401203292317684e6f625683ef3ae8
parent572417ec66fd4ba7482aeefa062f509914b4729b
Major changes to auto, documented on the helm mailing list.
helm/software/components/tactics/auto.ml
helm/software/components/tactics/auto.mli
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/indexing.mli
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/saturation.mli