]> matita.cs.unibo.it Git - helm.git/commit
Unuseful id removed from hypothesis.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Jul 2003 15:43:30 +0000 (15:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Jul 2003 15:43:30 +0000 (15:43 +0000)
commit7fd0b9edc6be316b4ef43ca98a6b02f76dd1108e
tree8a7e6c757dca152155da9b6eec58c212c8553dd2
parent686e22323249fbfdaf21f53b5a11fe73df52f3b9
Unuseful id removed from hypothesis.
helm/ocaml/cic_omdoc/cic2acic.ml
helm/ocaml/cic_omdoc/cic2content.ml
helm/ocaml/cic_omdoc/content.ml
helm/ocaml/cic_omdoc/content.mli
helm/ocaml/cic_omdoc/content2cic.ml
helm/ocaml/cic_transformations/content2pres.ml