]> matita.cs.unibo.it Git - helm.git/commit
height of constants properly handled
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 09:24:19 +0000 (09:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 09:24:19 +0000 (09:24 +0000)
commit345f329e767d0b4a1a87d10e08f92657a95c10ac
treea1f4a0ff765ac2236abbe06ad315f1a0ebee20ba
parent6ba6011b7c8cadb8fe328812e0134e27909fb308
height of constants properly handled
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
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/nReference.ml
helm/software/components/ng_kernel/nReference.mli
helm/software/components/ng_kernel/oCic2NCic.ml