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--	1158	.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--	6211	nCic.ml	blob \| history \| raw
-rw-r--r--	13044	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	3244	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	13267	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--	59344	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	2588	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	11872	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--	5177	nReference.ml	blob \| history \| raw
-rw-r--r--	1616	nReference.mli	blob \| history \| raw
-rw-r--r--	1686	nUri.ml	blob \| history \| raw
-rw-r--r--	1014	nUri.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw