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

drwxr-xr-x		..
-rw-r--r--	1913	.depend	blob \| history \| raw
-rw-r--r--	553	Makefile	blob \| history \| raw
-rw-r--r--	699	check.ml	blob \| history \| raw
-rw-r--r--	4391	nCic.ml	blob \| history \| raw
-rw-r--r--	3158	nCic2OCic.ml	blob \| history \| raw
-rw-r--r--	62	nCic2OCic.mli	blob \| history \| raw
-rw-r--r--	2966	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	1855	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	1673	nCicPp.ml	blob \| history \| raw
-rw-r--r--	426	nCicPp.mli	blob \| history \| raw
-rw-r--r--	22056	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	1641	nCicReduction.mli	blob \| history \| raw
-rw-r--r--	4283	nCicSubstitution.ml	blob \| history \| raw
-rw-r--r--	2877	nCicSubstitution.mli	blob \| history \| raw
-rw-r--r--	51519	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	1416	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	3461	nCicUtils.ml	blob \| history \| raw
-rw-r--r--	1383	nCicUtils.mli	blob \| history \| raw
-rw-r--r--	4137	nReference.ml	blob \| history \| raw
-rw-r--r--	1253	nReference.mli	blob \| history \| raw
-rw-r--r--	902	nUri.ml	blob \| history \| raw
-rw-r--r--	243	nUri.mli	blob \| history \| raw
-rw-r--r--	10255	oCic2NCic.ml	blob \| history \| raw
-rw-r--r--	60	oCic2NCic.mli	blob \| history \| raw
-rw-r--r--	231	oCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	1157	oCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	835	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw