]> 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)
commit9ab7d3460c70ee067f75bf6523d06b67d6e7750a
tree5959bd3d0ef555747dde3799d8bd0f1217e2ce35
parentc049b167b6a59e7a1e755c0f5a4bc00ce0826c48
Major changes to auto, documented on the helm mailing list.
components/tactics/auto.ml
components/tactics/auto.mli
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/indexing.mli
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/saturation.mli