]> matita.cs.unibo.it Git - helm.git/commit
embedded commands ast into tacticals ast
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Apr 2004 09:25:36 +0000 (09:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Apr 2004 09:25:36 +0000 (09:25 +0000)
commit511f0c1672e0db4cf577afc9b79f12dea39469ad
tree957c8e811f62e7be8208f0d944e35c2cb1795e58
parent7a72e5c5129c814e567f03e14d752eff4086fb52
embedded commands ast into tacticals ast
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/commandAst.ml [deleted file]
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAst2Box.ml
helm/ocaml/cic_transformations/tacticAst2Box.mli
helm/ocaml/cic_transformations/tacticAstPp.ml
helm/ocaml/cic_transformations/tacticAstPp.mli