]> matita.cs.unibo.it Git - helm.git/commit
added universes list handling
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 23 Sep 2005 12:52:24 +0000 (12:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 23 Sep 2005 12:52:24 +0000 (12:52 +0000)
commitae3540a0dc8b1e1cccb04b811bf558fb6fff9577
treee0c01e8f069f4ba512c1bea2e308f28ee1763eb7
parent5c9e1997848c2f74297a5a243679f4bcb6ae0dc7
added universes list handling
helm/ocaml/cic_proof_checking/cicEnvironment.ml
helm/ocaml/cic_proof_checking/cicEnvironment.mli
helm/ocaml/cic_proof_checking/cicTypeChecker.ml
helm/ocaml/cic_proof_checking/cicUnivUtils.ml
helm/ocaml/cic_proof_checking/cicUnivUtils.mli