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

drwxr-xr-x		..
-rw-r--r--	1921	.depend	blob \| history \| raw
-rw-r--r--	1921	.depend.opt	blob \| history \| raw
-rw-r--r--	644	Makefile	blob \| history \| raw
-rw-r--r--	102513	alluris.txt	blob \| history \| raw
-rw-r--r--	4330	check.ml	blob \| history \| raw
-rw-r--r--	4448	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--	3312	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	1924	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	5883	nCicPp.ml	blob \| history \| raw
-rw-r--r--	494	nCicPp.mli	blob \| history \| raw
-rw-r--r--	22165	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--	47647	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--	4291	nReference.ml	blob \| history \| raw
-rw-r--r--	1302	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--	25493	oCic2NCic.ml	blob \| history \| raw
-rw-r--r--	60	oCic2NCic.mli	blob \| history \| raw
-rw-r--r--	1156	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw