]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 24 Sep 2008 14:48:23 +0000 (14:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 24 Sep 2008 14:48:23 +0000 (14:48 +0000)
commit0bd584a839bae570f44c4a5f8a06cdbc55fe0726
treeb62ae6395e1c602696e31c8929bdd2b8960561b4
parentc055a1b1b685a88673562f24d77623fc53db8420
...
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/.depend.opt
helm/software/components/ng_kernel/Makefile
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicTypeChecker.mli
helm/software/components/ng_kernel/nCicUntrusted.ml [new file with mode: 0644]
helm/software/components/ng_kernel/nCicUntrusted.mli [new file with mode: 0644]
helm/software/components/ng_kernel/nCicUtils.ml
helm/software/components/ng_kernel/nCicUtils.mli