]> matita.cs.unibo.it Git - helm.git/commit
Changed auto from implicit to option and renamed a few functions.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Oct 2006 12:56:38 +0000 (12:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Oct 2006 12:56:38 +0000 (12:56 +0000)
commit5b5fbf4f547ffbfe8fe3f4816b08be025b204058
tree63ce49bc9fe2f93f774717bd2a6be24f2b013cfb
parente480ed0d9242f2e505cf28e175262c841bc470c2
Changed auto from implicit to option and renamed a few functions.
components/tactics/auto.ml
components/tactics/paramodulation/equality_retrieval.ml
components/tactics/paramodulation/equality_retrieval.mli
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/saturation.mli