]> matita.cs.unibo.it Git - helm.git/commit
transformations no longer use Content_expression, but rather CicAst
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Oct 2004 08:16:45 +0000 (08:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Oct 2004 08:16:45 +0000 (08:16 +0000)
commit29969baf115afff7eb9ea9e2ca98d40ab7006dcc
tree70e8ddba06f0249730aadb7f313d7305183b5244
parent844c8ec10832e5b03456b622db240e18ce014a57
transformations no longer use Content_expression, but rather CicAst
23 files changed:
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/acic2Ast.ml
helm/ocaml/cic_transformations/acic2Ast.mli
helm/ocaml/cic_transformations/applyTransformation.ml
helm/ocaml/cic_transformations/ast2pres.ml
helm/ocaml/cic_transformations/ast2pres.mli
helm/ocaml/cic_transformations/box.ml
helm/ocaml/cic_transformations/box.mli
helm/ocaml/cic_transformations/boxPp.ml
helm/ocaml/cic_transformations/boxPp.mli
helm/ocaml/cic_transformations/cexpr2pres.ml [deleted file]
helm/ocaml/cic_transformations/cexpr2pres.mli [deleted file]
helm/ocaml/cic_transformations/cexpr2pres_hashtbl.ml [deleted file]
helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli [deleted file]
helm/ocaml/cic_transformations/content2pres.ml
helm/ocaml/cic_transformations/content_expressions.ml [deleted file]
helm/ocaml/cic_transformations/content_expressions.mli [deleted file]
helm/ocaml/cic_transformations/mpresentation.ml
helm/ocaml/cic_transformations/sequent2pres.ml
helm/ocaml/cic_transformations/sequent2pres.mli
helm/ocaml/cic_transformations/tacticAst2Box.ml
helm/ocaml/cic_transformations/tacticAst2Box.mli