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--	667	Makefile	blob \| history \| raw
-rw-r--r--	102932	alluris.txt	blob \| history \| raw
-rw-r--r--	2656	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--	3192	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	1885	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	1992	nCicPp.ml	blob \| history \| raw
-rw-r--r--	426	nCicPp.mli	blob \| history \| raw
-rw-r--r--	22054	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--	50214	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--	4141	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--	14075	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--	1072	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw