]> matita.cs.unibo.it Git - helm.git/commit
More tactics are now available to matita.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 11:00:17 +0000 (11:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 11:00:17 +0000 (11:00 +0000)
commit0eab2248345360e8e4b261f653f897db645998a7
tree3a75e98a2b8b9796a185f87fd0c7376542f574c4
parent2badc68c73958cc9bafb6d2f05c40546786f5da2
More tactics are now available to matita.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAst2Box.ml
helm/ocaml/cic_transformations/tacticAstPp.ml