]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7e9907) | patch
1. rewrite_* and rewrite_back_* merged into one function
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 12:25:19 +0000 (12:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 12:25:19 +0000 (12:25 +0000)
commit2b01133527077e8dd554f0fbcc51368903dd3b8c
tree3b8ee44514500ffe184d9b52b42b30814fb8bce9tree | snapshot
parente7e9907596de471c2e9e5a3cf47b6d17b1af1892commit | diff
1. rewrite_* and rewrite_back_* merged into one function
2. signature of rewrite_* improved
3. concrete syntax for the rewrite direction fixed to ">" and "<"

NOTE: rewrite_* is still no longer working.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
helm/ocaml/tactics/discriminationTactics.ml diff | blob | history
helm/ocaml/tactics/equalityTactics.ml diff | blob | history
helm/ocaml/tactics/equalityTactics.mli diff | blob | history
helm/ocaml/tactics/fourierR.ml diff | blob | history
helm/ocaml/tactics/tactics.ml diff | blob | history
helm/ocaml/tactics/tactics.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.