]> matita.cs.unibo.it Git - helm.git/commit
new signature of auto_tac, with a new optional argument "full", to invoke the
authorAlberto Griggio <griggio@fbk.eu>
Mon, 26 Sep 2005 14:59:01 +0000 (14:59 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Mon, 26 Sep 2005 14:59:01 +0000 (14:59 +0000)
commit9547c888a55a5372ff2f6a2d2a9eab7d5d7c01fb
tree05d16683567dd6b6b2f0846d5b409313c6d92cf3
parent04ade947888ac1115dfe104714bed61c32e1c9c3
new signature of auto_tac, with a new optional argument "full", to invoke the
new paramodulation
helm/ocaml/cic_notation/grafiteAst.ml
helm/ocaml/cic_notation/grafiteParser.ml
helm/ocaml/tactics/.depend
helm/ocaml/tactics/autoTactic.ml
helm/ocaml/tactics/autoTactic.mli
helm/ocaml/tactics/metadataQuery.ml
helm/ocaml/tactics/tactics.mli