matita.cs.unibo.it Git - helm.git/tree

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--	7664	TEST	blob \| history \| raw
-rw-r--r--	102428	alluris.txt	blob \| history \| raw
-rw-r--r--	4488	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--	6365	nCicPp.ml	blob \| history \| raw
-rw-r--r--	594	nCicPp.mli	blob \| history \| raw
-rw-r--r--	22211	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--	54549	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--	26622	oCic2NCic.ml	blob \| history \| raw
-rw-r--r--	60	oCic2NCic.mli	blob \| history \| raw
-rw-r--r--	1196	rt.ml	blob \| history \| raw
-rw-r--r--	1511	test.ma	blob \| history \| raw