]> matita.cs.unibo.it Git - helm.git/commit
Cic2content split into Content and Cic2content.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 20 Jul 2003 11:05:12 +0000 (11:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 20 Jul 2003 11:05:12 +0000 (11:05 +0000)
commit43f61eedd2a1f499166de33a98af00b767dcc117
tree986351156dbb1e0989c0d8d45ec560d857c09228
parent4a01e6197e070d3eff7a3fe02180597136d81eba
Cic2content split into Content and Cic2content.
12 files changed:
helm/gTopLevel/content2cic.ml
helm/gTopLevel/content2cic.mli
helm/ocaml/cic_transformations/.depend
helm/ocaml/cic_transformations/Makefile
helm/ocaml/cic_transformations/cic2content.ml
helm/ocaml/cic_transformations/cic2content.mli
helm/ocaml/cic_transformations/content.ml [new file with mode: 0644]
helm/ocaml/cic_transformations/content.mli [new file with mode: 0644]
helm/ocaml/cic_transformations/content2pres.ml
helm/ocaml/cic_transformations/content2pres.mli
helm/ocaml/cic_transformations/contentPp.ml
helm/ocaml/cic_transformations/contentPp.mli