]> matita.cs.unibo.it Git - helm.git/commit
1. interface of replace generalized to patterns
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 17:03:38 +0000 (17:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 17:03:38 +0000 (17:03 +0000)
commitab0954eab207a70e6ad5f2991cc117608deff55b
tree192c4ad28d47057c0503f35e7d7889ab78893ffe
parent72f63f8d930b8b7fe41b47a5cfd3b4c701be34c7
1. interface of replace generalized to patterns
2. implementation commented out (for a little while)
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/primitiveTactics.ml
helm/ocaml/tactics/primitiveTactics.mli
helm/ocaml/tactics/tactics.mli