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

drwxr-xr-x		..
-rw-r--r--	2143	.depend	blob \| history \| raw
-rw-r--r--	2143	.depend.opt	blob \| history \| raw
-rw-r--r--	2094	Makefile	blob \| history \| raw
-rw-r--r--	7461	TEST	blob \| history \| raw
-rw-r--r--	196818	alluris.txt	blob \| history \| raw
-rw-r--r--	5876	check.ml	blob \| history \| raw
-rw-r--r--	4399	nCic.ml	blob \| history \| raw
-rw-r--r--	3913	nCic2OCic.ml	blob \| history \| raw
-rw-r--r--	836	nCic2OCic.mli	blob \| history \| raw
-rw-r--r--	4269	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	1403	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	1192	nCicLibrary.ml	blob \| history \| raw
-rw-r--r--	753	nCicLibrary.mli	blob \| history \| raw
-rw-r--r--	7020	nCicPp.ml	blob \| history \| raw
-rw-r--r--	1259	nCicPp.mli	blob \| history \| raw
-rw-r--r--	22182	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	1114	nCicReduction.mli	blob \| history \| raw
-rw-r--r--	4195	nCicSubstitution.ml	blob \| history \| raw
-rw-r--r--	2539	nCicSubstitution.mli	blob \| history \| raw
-rw-r--r--	46698	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	1300	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	2724	nCicUtils.ml	blob \| history \| raw
-rw-r--r--	1244	nCicUtils.mli	blob \| history \| raw
-rw-r--r--	4401	nReference.ml	blob \| history \| raw
-rw-r--r--	1325	nReference.mli	blob \| history \| raw
-rw-r--r--	1433	nUri.ml	blob \| history \| raw
-rw-r--r--	815	nUri.mli	blob \| history \| raw
-rw-r--r--	28820	oCic2NCic.ml	blob \| history \| raw
-rw-r--r--	853	oCic2NCic.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1777	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw