]> matita.cs.unibo.it Git - helm.git/tree - helm/software/components/ng_kernel/
fixed off-by-one
[helm.git] / helm / software / components / ng_kernel /
drwxr-xr-x   ..
-rw-r--r-- 2778 .depend
-rw-r--r-- 2789 .depend.opt
-rw-r--r-- 2228 Makefile
-rw-r--r-- 8270 TEST
-rw-r--r-- 883 TODO
-rw-r--r-- 24915 alluris.txt
-rw-r--r-- 1137 bug_universi.ma
-rw-r--r-- 7154 check.ml
-rw-r--r-- 4809 nCic.ml
-rw-r--r-- 4479 nCic2OCic.ml
-rw-r--r-- 836 nCic2OCic.mli
-rw-r--r-- 11157 nCicEnvironment.ml
-rw-r--r-- 2963 nCicEnvironment.mli
-rw-r--r-- 10541 nCicLibrary.ml
-rw-r--r-- 2052 nCicLibrary.mli
-rw-r--r-- 11521 nCicPp.ml
-rw-r--r-- 1280 nCicPp.mli
-rw-r--r-- 16767 nCicReduction.ml
-rw-r--r-- 1925 nCicReduction.mli
-rw-r--r-- 4204 nCicSubstitution.ml
-rw-r--r-- 2582 nCicSubstitution.mli
-rw-r--r-- 56796 nCicTypeChecker.ml
-rw-r--r-- 2205 nCicTypeChecker.mli
-rw-r--r-- 8833 nCicUntrusted.ml
-rw-r--r-- 1330 nCicUntrusted.mli
-rw-r--r-- 2971 nCicUtils.ml
-rw-r--r-- 1317 nCicUtils.mli
-rw-r--r-- 5104 nReference.ml
-rw-r--r-- 1589 nReference.mli
-rw-r--r-- 1582 nUri.ml
-rw-r--r-- 918 nUri.mli
-rw-r--r-- 33374 oCic2NCic.ml
-rw-r--r-- 1016 oCic2NCic.mli
-rw-r--r-- 3839 paper.txt
-rw-r--r-- 1733 rt.ml
-rw-r--r-- 1511 test.ma