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

drwxr-xr-x		..
-rw-r--r--	2067	.depend	blob \| history \| raw
-rw-r--r--	2067	.depend.opt	blob \| history \| raw
-rw-r--r--	663	Makefile	blob \| history \| raw
-rw-r--r--	7461	TEST	blob \| history \| raw
-rw-r--r--	35555	alluris.txt	blob \| history \| raw
-rw-r--r--	5163	check.ml	blob \| history \| raw
-rw-r--r--	4450	nCic.ml	blob \| history \| raw
-rw-r--r--	3166	nCic2OCic.ml	blob \| history \| raw
-rw-r--r--	62	nCic2OCic.mli	blob \| history \| raw
-rw-r--r--	4268	nCicEnvironment.ml	blob \| history \| raw
-rw-r--r--	1391	nCicEnvironment.mli	blob \| history \| raw
-rw-r--r--	1175	nCicLibrary.ml	blob \| history \| raw
-rw-r--r--	881	nCicLibrary.mli	blob \| history \| raw
-rw-r--r--	6364	nCicPp.ml	blob \| history \| raw
-rw-r--r--	594	nCicPp.mli	blob \| history \| raw
-rw-r--r--	21739	nCicReduction.ml	blob \| history \| raw
-rw-r--r--	1438	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--	44781	nCicTypeChecker.ml	blob \| history \| raw
-rw-r--r--	1288	nCicTypeChecker.mli	blob \| history \| raw
-rw-r--r--	3030	nCicUtils.ml	blob \| history \| raw
-rw-r--r--	1349	nCicUtils.mli	blob \| history \| raw
-rw-r--r--	4514	nReference.ml	blob \| history \| raw
-rw-r--r--	1378	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--	27899	oCic2NCic.ml	blob \| history \| raw
-rw-r--r--	60	oCic2NCic.mli	blob \| history \| raw
-rw-r--r--	3839	paper.txt	blob \| history \| raw
-rw-r--r--	1112	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw