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

drwxr-xr-x		..
-rw-r--r--	2494	acp.ma	blob \| history \| raw
-rw-r--r--	4795	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	8389	acp_cr.ma	blob \| history \| raw
-rw-r--r--	2431	cpds.ma	blob \| history \| raw
-rw-r--r--	1457	cpds_aaa.ma	blob \| history \| raw
-rw-r--r--	2722	cpds_cpds.ma	blob \| history \| raw
-rw-r--r--	2046	cpds_lift.ma	blob \| history \| raw
-rw-r--r--	1801	cpre.ma	blob \| history \| raw
-rw-r--r--	1559	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	5955	cprs.ma	blob \| history \| raw
-rw-r--r--	8184	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2627	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	1833	cpxe.ma	blob \| history \| raw
-rw-r--r--	6806	cpxs.ma	blob \| history \| raw
-rw-r--r--	1619	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	7211	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	3934	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	5074	cpxs_tstc.ma	blob \| history \| raw
-rw-r--r--	8625	cpxs_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	5327	csn.ma	blob \| history \| raw
-rw-r--r--	1402	csn_aaa.ma	blob \| history \| raw
-rw-r--r--	4545	csn_alt.ma	blob \| history \| raw
-rw-r--r--	4317	csn_lift.ma	blob \| history \| raw
-rw-r--r--	6814	csn_lpx.ma	blob \| history \| raw
-rw-r--r--	5383	csn_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	2046	csn_vector.ma	blob \| history \| raw
-rw-r--r--	2989	lprs.ma	blob \| history \| raw
-rw-r--r--	2301	lprs_alt.ma	blob \| history \| raw
-rw-r--r--	5993	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1539	lprs_ldrop.ma	blob \| history \| raw
-rw-r--r--	1557	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	3419	lpxs.ma	blob \| history \| raw
-rw-r--r--	1655	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	2446	lpxs_alt.ma	blob \| history \| raw
-rw-r--r--	4691	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1581	lpxs_ldrop.ma	blob \| history \| raw
-rw-r--r--	1275	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	4832	lsubc.ma	blob \| history \| raw
-rw-r--r--	3212	lsubc_ldrop.ma	blob \| history \| raw
-rw-r--r--	1788	lsubc_ldrops.ma	blob \| history \| raw
-rw-r--r--	1469	lsubc_lsuba.ma	blob \| history \| raw