]> matita.cs.unibo.it Git - helm.git/commit
1. change_tac moved from PrimitiveTactics to ReductionTactics
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 09:34:07 +0000 (09:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 09:34:07 +0000 (09:34 +0000)
commit25ec5b95fe67bbdee888a8268b3772a394cd74a5
tree8f5d0a04567eba5b31f3d233524fc21a741e6eb5
parent6cf15c86b051582032c794f7da8a325e31fc0480
1. change_tac moved from PrimitiveTactics to ReductionTactics
2. fold_tac reimplemented using change_tac
helm/ocaml/tactics/.depend
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/primitiveTactics.ml
helm/ocaml/tactics/primitiveTactics.mli
helm/ocaml/tactics/reductionTactics.ml
helm/ocaml/tactics/reductionTactics.mli
helm/ocaml/tactics/tactics.ml