matita.cs.unibo.it Git - helm.git/tree - matitaB/components/ng

drwxr-xr-x		..
-rw-r--r--	2148	.depend	blob \| history \| raw
-rw-r--r--	2177	.depend.opt	blob \| history \| raw
-rw-r--r--	1966	Makefile	blob \| history \| raw
-rw-r--r--	8270	TEST	blob \| history \| raw
-rw-r--r--	883	TODO	blob \| history \| raw
-rw-r--r--	24915	alluris.txt	blob \| history \| raw
-rw-r--r--	1137	bug_universi.ma	blob \| history \| raw
-rw-r--r--	6103	nCic.ml	blob \| history \| raw
-rw-r--r--	14291	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	3584	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	13428	nCicPp.ml	blob \| history \| raw
-rw-r--r--	1739	nCicPp.mli	blob \| history \| raw
-rw-r--r--	17592	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	2205	nCicReduction.mli	blob \| history \| raw
-rw-r--r--	4379	nCicSubstitution.ml	blob \| history \| raw
-rw-r--r--	2704	nCicSubstitution.mli	blob \| history \| raw
-rw-r--r--	59184	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	2521	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	12170	nCicUntrusted.ml	blob \| history \| raw
-rw-r--r--	2325	nCicUntrusted.mli	blob \| history \| raw
-rw-r--r--	3058	nCicUtils.ml	blob \| history \| raw
-rw-r--r--	1385	nCicUtils.mli	blob \| history \| raw
-rw-r--r--	5104	nReference.ml	blob \| history \| raw
-rw-r--r--	1589	nReference.mli	blob \| history \| raw
-rw-r--r--	1637	nUri.ml	blob \| history \| raw
-rw-r--r--	952	nUri.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw