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

drwxr-xr-x		..
-rw-r--r--	2039	.depend	blob \| history \| raw
-rw-r--r--	2039	.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--	6000	nCic.ml	blob \| history \| raw
-rw-r--r--	12997	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	3102	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	13183	nCicPp.ml	blob \| history \| raw
-rw-r--r--	1619	nCicPp.mli	blob \| history \| raw
-rw-r--r--	17526	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