]> matita.cs.unibo.it Git - helm.git/commit
More tactics or tactic arguments made available to matita and a bit of code
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 12:24:31 +0000 (12:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 12:24:31 +0000 (12:24 +0000)
commit6e8c7b9234ff7092008384b5e41782eac173aa05
tree769edbcc4c66ae930a6f20bd4e4f3b59043a4bbe
parent1db44a3e28f767afea3b87f21aaeb81c586b1733
More tactics or tactic arguments made available to matita and a bit of code
cleanup.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml