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

drwxr-xr-x		..
-rw-r--r--	2017	.depend	blob \| history \| raw
-rw-r--r--	1988	.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--	6060	nCic.ml	blob \| history \| raw
-rw-r--r--	13022	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	3102	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	13241	nCicPp.ml	blob \| history \| raw
-rw-r--r--	1619	nCicPp.mli	blob \| history \| raw
-rw-r--r--	17652	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	2116	nCicReduction.mli	blob \| history \| raw
-rw-r--r--	4379	nCicSubstitution.ml	blob \| history \| raw
-rw-r--r--	2649	nCicSubstitution.mli	blob \| history \| raw
-rw-r--r--	59133	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	2432	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	12170	nCicUntrusted.ml	blob \| history \| raw
-rw-r--r--	2248	nCicUntrusted.mli	blob \| history \| raw
-rw-r--r--	3004	nCicUtils.ml	blob \| history \| raw
-rw-r--r--	1349	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