]> matita.cs.unibo.it Git - helm.git/tree
0ad9595b2bfe5a566bd4713623bb83cca33628e5
-rw-r--r-- 2023 .depend
-rw-r--r-- 2023 .depend.opt
-rw-r--r-- 1967 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-- 4867 nCic.ml
-rw-r--r-- 12304 nCicEnvironment.ml
-rw-r--r-- 3056 nCicEnvironment.mli
-rw-r--r-- 12641 nCicPp.ml
-rw-r--r-- 2014 nCicPp.mli
-rw-r--r-- 17010 nCicReduction.ml
-rw-r--r-- 1946 nCicReduction.mli
-rw-r--r-- 4430 nCicSubstitution.ml
-rw-r--r-- 2649 nCicSubstitution.mli
-rw-r--r-- 56712 nCicTypeChecker.ml
-rw-r--r-- 2328 nCicTypeChecker.mli
-rw-r--r-- 10624 nCicUntrusted.ml
-rw-r--r-- 1936 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-- 3839 paper.txt
-rw-r--r-- 1511 test.ma