]> matita.cs.unibo.it Git - helm.git/commit
New argument (the hypothesis name) for cut.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 13:45:36 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 13:45:36 +0000 (13:45 +0000)
commit60033ee6d57f253ce1b90e3758a69b85d13f6a41
tree9b7940ae5834f1cc46974a3e41489eb4ffdde756
parentfc9cad6c109e279130501114000edcfb9621075b
New argument (the hypothesis name) for cut.
helm/matita/matita.lang
helm/matita/matitaEngine.ml
helm/matita/matitaGui.ml
helm/ocaml/cic_disambiguation/cicTextualLexer2.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