]> matita.cs.unibo.it Git - helm.git/commit
unused variables removed
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 12:28:32 +0000 (12:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 12:28:32 +0000 (12:28 +0000)
commitd3ce67da8c0fc8dc010cb99fb4700e5b803a7c89
tree1020b28edfaaa224a3829b45c2e737917fa68419
parent8d4d4ff40606138ea72668cf46a95c776d2f1b7c
unused variables removed
helm/software/components/ng_kernel/Makefile
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/oCic2NCic.ml