matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	3576	cir.ma	blob \| history \| raw
-rw-r--r--	1831	cir_append.ma	blob \| history \| raw
-rw-r--r--	1622	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4375	cix.ma	blob \| history \| raw
-rw-r--r--	1504	cix_append.ma	blob \| history \| raw
-rw-r--r--	1947	cix_lift.ma	blob \| history \| raw
-rw-r--r--	4468	cnr.ma	blob \| history \| raw
-rw-r--r--	1565	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2027	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2642	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	5634	cnx.ma	blob \| history \| raw
-rw-r--r--	1597	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2170	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2327	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	14490	cpr.ma	blob \| history \| raw
-rw-r--r--	2315	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6478	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	15940	cpx.ma	blob \| history \| raw
-rw-r--r--	2459	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	8723	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	5559	crr.ma	blob \| history \| raw
-rw-r--r--	2767	crr_append.ma	blob \| history \| raw
-rw-r--r--	3878	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6162	crx.ma	blob \| history \| raw
-rw-r--r--	1722	crx_append.ma	blob \| history \| raw
-rw-r--r--	4077	crx_lift.ma	blob \| history \| raw
-rw-r--r--	3506	lpr.ma	blob \| history \| raw
-rw-r--r--	2628	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	18208	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3716	lpx.ma	blob \| history \| raw
-rw-r--r--	4117	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1624	lpx_ldrop.ma	blob \| history \| raw