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

drwxr-xr-x		..
-rw-r--r--	2401	.depend	blob \| history \| raw
-rw-r--r--	2359	.depend.opt	blob \| history \| raw
-rw-r--r--	1988	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--	3228	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	45319	nCicExtraction.ml	blob \| history \| raw
-rw-r--r--	1256	nCicExtraction.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--	59271	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	2432	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	11832	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--	5171	nReference.ml	blob \| history \| raw
-rw-r--r--	1616	nReference.mli	blob \| history \| raw
-rw-r--r--	1655	nUri.ml	blob \| history \| raw
-rw-r--r--	973	nUri.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw