]> matita.cs.unibo.it Git - helm.git/commit
some bits of reduction, reusing psubst
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 18 Feb 2008 16:31:32 +0000 (16:31 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 18 Feb 2008 16:31:32 +0000 (16:31 +0000)
commit0ec61cd3d3fe2bf43b75fc94800af0c23cfa8c3b
tree451af2a2daa029165f6fe397b54f9efd61ba7fbf
parentc445ba5534cccde19016c92660ab52777af221c0
some bits of reduction, reusing psubst
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/Makefile
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/nCicReduction.ml [new file with mode: 0644]
helm/software/components/ng_kernel/nCicReduction.mli [new file with mode: 0644]
helm/software/components/ng_kernel/nCicSubstitution.ml
helm/software/components/ng_kernel/nCicSubstitution.mli
helm/software/components/ng_kernel/nCicUtils.ml
helm/software/components/ng_kernel/nCicUtils.mli