]> matita.cs.unibo.it Git - helm.git/commit
Asts generalized: a lot of tactics where restricted to identifiers in place
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jun 2005 06:50:43 +0000 (06:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jun 2005 06:50:43 +0000 (06:50 +0000)
commitb71c265049723824235d7cec0522880492e6a0b1
treeb661aead72e6898d85fbc28d056bdc40c00407b6
parente330732b44252fa85b5bdc17761263c72d7c3e80
Asts generalized: a lot of tactics where restricted to identifiers in place
of patterns or terms.
helm/matita/matitaEngine.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAst2Box.ml
helm/ocaml/cic_transformations/tacticAstPp.ml
helm/ocaml/tactics/fwdSimplTactic.ml
helm/ocaml/tactics/fwdSimplTactic.mli
helm/ocaml/tactics/tactics.mli