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

drwxr-xr-x		..
-rw-r--r--	2034	.depend	blob \| history \| raw
-rw-r--r--	2034	.depend.opt	blob \| history \| raw
-rw-r--r--	1967	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--	4867	nCic.ml	blob \| history \| raw
-rw-r--r--	12304	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	3056	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	12641	nCicPp.ml	blob \| history \| raw
-rw-r--r--	2014	nCicPp.mli	blob \| history \| raw
-rw-r--r--	17036	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	2002	nCicReduction.mli	blob \| history \| raw
-rw-r--r--	4430	nCicSubstitution.ml	blob \| history \| raw
-rw-r--r--	2725	nCicSubstitution.mli	blob \| history \| raw
-rw-r--r--	57011	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	2306	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	11877	nCicUntrusted.ml	blob \| history \| raw
-rw-r--r--	2133	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--	5104	nReference.ml	blob \| history \| raw
-rw-r--r--	1589	nReference.mli	blob \| history \| raw
-rw-r--r--	1582	nUri.ml	blob \| history \| raw
-rw-r--r--	918	nUri.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw