]> matita.cs.unibo.it Git - helm.git/commit
Signature and concrete syntax of fold fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:46:31 +0000 (14:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Jun 2005 14:46:31 +0000 (14:46 +0000)
commit44d337f8d772c6895d310a1b1d62770c3355fe03
treed605be64ba6df7b9845a33592ca3e342decb323d
parentebaf3deffea9ac78a2b8b2a6c128cc24ad8459ef
Signature and concrete syntax of fold fixed.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/reductionTactics.ml
helm/ocaml/tactics/reductionTactics.mli
helm/ocaml/tactics/tactics.mli