]> matita.cs.unibo.it Git - helm.git/commit
Identifier added to inductiveType in the DTD.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Nov 2002 09:52:01 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Nov 2002 09:52:01 +0000 (09:52 +0000)
commit76a7d625c7eacd8f872485f24066a79a87156c92
tree1cb587703fe1c46ac26120fe43ac56453902bcac
parente8393183461d4aa2637b250c8e8d5b303a22c675
Identifier added to inductiveType in the DTD.
helm/ocaml/cic/cic.ml
helm/ocaml/cic/cicParser2.ml
helm/ocaml/cic/deannotate.ml
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
helm/ocaml/cic_annotations/cicXPath.ml