]> matita.cs.unibo.it Git - helm.git/commit
added the orrible hack to the parser that is needed to call CicUniv.fresh() properly
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Apr 2005 18:52:08 +0000 (18:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Apr 2005 18:52:08 +0000 (18:52 +0000)
commit5d03c83fde2cb3b65e76ea66cd11b4a3cb38192f
tree86d8f433e226d4a0e139bec023cac03f8b41ac07
parente5050c8f2f36a4d697e3a7c5b24ecc1d5dc73f48
added the orrible hack to the parser that is needed to call CicUniv.fresh() properly
helm/ocaml/cic/cicParser3.mli
helm/ocaml/cic/cicUniv.ml
helm/ocaml/cic/cicUniv.mli