]> matita.cs.unibo.it Git - helm.git/commit
inductive type ident optional in mutcase
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 13:33:00 +0000 (13:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 13 Feb 2004 13:33:00 +0000 (13:33 +0000)
commitb029556cbcecb852dfc9cf25801f3dcc0bb762bb
tree52c7a5c8ee6bf5401bb7f4e08dbeb6d30a780ee0
parent1d43744bf87522c418a8bb5d7787dcdbdd6f25a5
inductive type ident optional in mutcase
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_transformations/acic2Ast.ml
helm/ocaml/cic_transformations/cicAst.ml