]> matita.cs.unibo.it Git - helm.git/commit
added universes
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 23 Sep 2005 12:51:37 +0000 (12:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 23 Sep 2005 12:51:37 +0000 (12:51 +0000)
commit5c9e1997848c2f74297a5a243679f4bcb6ae0dc7
tree606fda5311a6dc75659ff35179fd1ffd3d315a5a
parent68eea268e230d7eb12cdc416ead471a86a4bb5e4
added universes
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_omdoc/cic2acic.ml
helm/ocaml/cic_omdoc/cic2acic.mli
helm/ocaml/cic_omdoc/cic2content.ml