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

drwxr-xr-x		..
-rw-r--r--	3816	cir.ma	blob \| history \| raw
-rw-r--r--	1660	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4677	cix.ma	blob \| history \| raw
-rw-r--r--	1986	cix_lift.ma	blob \| history \| raw
-rw-r--r--	5202	cnr.ma	blob \| history \| raw
-rw-r--r--	1581	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2035	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2422	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	6424	cnx.ma	blob \| history \| raw
-rw-r--r--	1613	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2189	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2044	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	14202	cpr.ma	blob \| history \| raw
-rw-r--r--	2343	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6883	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	2952	cpr_llpx_sn.ma	blob \| history \| raw
-rw-r--r--	15753	cpx.ma	blob \| history \| raw
-rw-r--r--	2493	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	1706	cpx_leq.ma	blob \| history \| raw
-rw-r--r--	14473	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	3064	cpx_lleq.ma	blob \| history \| raw
-rw-r--r--	3127	cpx_llpx_sn.ma	blob \| history \| raw
-rw-r--r--	5717	crr.ma	blob \| history \| raw
-rw-r--r--	4219	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6433	crx.ma	blob \| history \| raw
-rw-r--r--	4449	crx_lift.ma	blob \| history \| raw
-rw-r--r--	2207	fpb.ma	blob \| history \| raw
-rw-r--r--	1634	fpb_aaa.ma	blob \| history \| raw
-rw-r--r--	1458	fpb_lift.ma	blob \| history \| raw
-rw-r--r--	2882	lpr.ma	blob \| history \| raw
-rw-r--r--	5283	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	18368	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3294	lpx.ma	blob \| history \| raw
-rw-r--r--	4235	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	4208	lpx_ldrop.ma	blob \| history \| raw
-rw-r--r--	6336	lpx_lleq.ma	blob \| history \| raw