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

drwxr-xr-x		..
-rw-r--r--	2667	.depend	blob \| history \| raw
-rw-r--r--	2667	.depend.opt	blob \| history \| raw
-rw-r--r--	2228	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--	7613	check.ml	blob \| history \| raw
-rw-r--r--	4631	nCic.ml	blob \| history \| raw
-rw-r--r--	4479	nCic2OCic.ml	blob \| history \| raw
-rw-r--r--	836	nCic2OCic.mli	blob \| history \| raw
-rw-r--r--	7396	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	2065	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	3009	nCicLibrary.ml	blob \| history \| raw
-rw-r--r--	930	nCicLibrary.mli	blob \| history \| raw
-rw-r--r--	11445	nCicPp.ml	blob \| history \| raw
-rw-r--r--	1232	nCicPp.mli	blob \| history \| raw
-rw-r--r--	16276	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	1912	nCicReduction.mli	blob \| history \| raw
-rw-r--r--	4204	nCicSubstitution.ml	blob \| history \| raw
-rw-r--r--	2582	nCicSubstitution.mli	blob \| history \| raw
-rw-r--r--	54472	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	2190	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	6969	nCicUntrusted.ml	blob \| history \| raw
-rw-r--r--	1330	nCicUntrusted.mli	blob \| history \| raw
-rw-r--r--	2971	nCicUtils.ml	blob \| history \| raw
-rw-r--r--	1317	nCicUtils.mli	blob \| history \| raw
-rw-r--r--	4973	nReference.ml	blob \| history \| raw
-rw-r--r--	1546	nReference.mli	blob \| history \| raw
-rw-r--r--	1551	nUri.ml	blob \| history \| raw
-rw-r--r--	878	nUri.mli	blob \| history \| raw
-rw-r--r--	33224	oCic2NCic.ml	blob \| history \| raw
-rw-r--r--	952	oCic2NCic.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1733	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw