]> matita.cs.unibo.it Git - helm.git/commit
added small test, fixed some bugs
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 20 Feb 2008 16:53:59 +0000 (16:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 20 Feb 2008 16:53:59 +0000 (16:53 +0000)
commit1859726f40a0a14c2e1b4f1b44041ce1e552f729
treea1be8b18ba109f2ce283445eb7b8b54ff300cd01
parent4a4703054e9f022479ac7ab9cb96007984da7ef2
added small test, fixed some bugs
helm/software/components/ng_kernel/Makefile
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/nCic2OCic.mli
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nReference.ml
helm/software/components/ng_kernel/oCic2NCic.ml
helm/software/components/ng_kernel/oCic2NCic.mli
helm/software/components/ng_kernel/oCicTypeChecker.ml
helm/software/components/ng_kernel/rt.ml [new file with mode: 0644]
helm/software/components/ng_kernel/test.ma [new file with mode: 0644]