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--	6885	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	2867	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--	1708	cpx_leq.ma	blob \| history \| raw
-rw-r--r--	14496	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	3060	cpx_lleq.ma	blob \| history \| raw
-rw-r--r--	3042	cpx_llpx_sn.ma	blob \| history \| raw
-rw-r--r--	5719	crr.ma	blob \| history \| raw
-rw-r--r--	4221	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6433	crx.ma	blob \| history \| raw
-rw-r--r--	4451	crx_lift.ma	blob \| history \| raw
-rw-r--r--	2205	fpb.ma	blob \| history \| raw
-rw-r--r--	1634	fpb_aaa.ma	blob \| history \| raw
-rw-r--r--	1453	fpb_lift.ma	blob \| history \| raw
-rw-r--r--	2880	lpr.ma	blob \| history \| raw
-rw-r--r--	5287	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	18366	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3290	lpx.ma	blob \| history \| raw
-rw-r--r--	4235	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	4465	lpx_frees.ma	blob \| history \| raw
-rw-r--r--	4210	lpx_ldrop.ma	blob \| history \| raw
-rw-r--r--	7046	lpx_lleq.ma	blob \| history \| raw