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

drwxr-xr-x		..
-rw-r--r--	3846	cir.ma	blob \| history \| raw
-rw-r--r--	1662	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4680	cix.ma	blob \| history \| raw
-rw-r--r--	1987	cix_lift.ma	blob \| history \| raw
-rw-r--r--	5202	cnr.ma	blob \| history \| raw
-rw-r--r--	1583	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2049	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2423	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	6513	cnx.ma	blob \| history \| raw
-rw-r--r--	1615	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2191	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2046	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	14770	cpr.ma	blob \| history \| raw
-rw-r--r--	2348	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6871	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	2864	cpr_llpx_sn.ma	blob \| history \| raw
-rw-r--r--	15753	cpx.ma	blob \| history \| raw
-rw-r--r--	2495	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	14869	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	3061	cpx_lleq.ma	blob \| history \| raw
-rw-r--r--	3039	cpx_llpx_sn.ma	blob \| history \| raw
-rw-r--r--	1714	cpx_lreq.ma	blob \| history \| raw
-rw-r--r--	5720	crr.ma	blob \| history \| raw
-rw-r--r--	4214	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6435	crx.ma	blob \| history \| raw
-rw-r--r--	4444	crx_lift.ma	blob \| history \| raw
-rw-r--r--	2202	fpb.ma	blob \| history \| raw
-rw-r--r--	2219	fpb_fleq.ma	blob \| history \| raw
-rw-r--r--	1592	fpb_lift.ma	blob \| history \| raw
-rw-r--r--	1905	fpb_lleq.ma	blob \| history \| raw
-rw-r--r--	2222	fpbq.ma	blob \| history \| raw
-rw-r--r--	1641	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	4226	fpbq_alt.ma	blob \| history \| raw
-rw-r--r--	1464	fpbq_lift.ma	blob \| history \| raw
-rw-r--r--	2883	lpr.ma	blob \| history \| raw
-rw-r--r--	5287	lpr_drop.ma	blob \| history \| raw
-rw-r--r--	18356	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3293	lpx.ma	blob \| history \| raw
-rw-r--r--	4231	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	4197	lpx_drop.ma	blob \| history \| raw
-rw-r--r--	4465	lpx_frees.ma	blob \| history \| raw
-rw-r--r--	7068	lpx_lleq.ma	blob \| history \| raw