]> matita.cs.unibo.it Git - helm.git/commit
changed reduction tactics ast
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 15 Nov 2004 09:04:40 +0000 (09:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 15 Nov 2004 09:04:40 +0000 (09:04 +0000)
commit9680f6df42892b7b586fb2932617fa99703036bf
tree147e1dba63c226f9d6f898708cbe19c1187ef389
parente35ec00b1be70e4b064b74a49735b37b5e719e5b
changed reduction tactics ast
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAst2Box.ml
helm/ocaml/cic_transformations/tacticAstPp.ml