]> matita.cs.unibo.it Git - helm.git/commit
added support for goal patterns
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Jun 2005 14:58:48 +0000 (14:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Jun 2005 14:58:48 +0000 (14:58 +0000)
commitabd9e5cfa8e7b6923e0664a4813a0a842f5c4e76
tree36bf3c6105a27f48c333e1683558f6c1625a23bd
parent49959160408fc4c9629985bd691f7c76523d849d
added support for goal patterns
13 files changed:
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/equalityTactics.ml
helm/ocaml/tactics/equalityTactics.mli
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/primitiveTactics.ml
helm/ocaml/tactics/proofEngineHelpers.ml
helm/ocaml/tactics/proofEngineHelpers.mli
helm/ocaml/tactics/proofEngineTypes.ml
helm/ocaml/tactics/proofEngineTypes.mli
helm/ocaml/tactics/reductionTactics.ml
helm/ocaml/tactics/reductionTactics.mli
helm/ocaml/tactics/tactics.ml
helm/ocaml/tactics/tactics.mli