]> matita.cs.unibo.it Git - helm.git/commit
added new implementation of universes
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 May 2008 17:06:29 +0000 (17:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 May 2008 17:06:29 +0000 (17:06 +0000)
commite2381427bca733bd36a099002fa8b7140f7a20d0
tree036687f567b5ac74cb56a91318f9a633cef4c8d6
parentfa9700ea545ddaed416fdabb9d9fb410ef528e97
added new implementation of universes
helm/software/components/ng_kernel/alluris.txt
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCic.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/oCic2NCic.ml