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--	4813	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	8389	acp_cr.ma	blob \| history \| raw
-rw-r--r--	2500	cpds.ma	blob \| history \| raw
-rw-r--r--	1478	cpds_aaa.ma	blob \| history \| raw
-rw-r--r--	3076	cpds_cpds.ma	blob \| history \| raw
-rw-r--r--	2058	cpds_lift.ma	blob \| history \| raw
-rw-r--r--	1831	cpre.ma	blob \| history \| raw
-rw-r--r--	1577	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	6315	cprs.ma	blob \| history \| raw
-rw-r--r--	8445	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2645	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	1845	cpxe.ma	blob \| history \| raw
-rw-r--r--	7184	cpxs.ma	blob \| history \| raw
-rw-r--r--	1667	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	7319	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	3964	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	5113	cpxs_tstc.ma	blob \| history \| raw
-rw-r--r--	8664	cpxs_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	5408	csn.ma	blob \| history \| raw
-rw-r--r--	1414	csn_aaa.ma	blob \| history \| raw
-rw-r--r--	4620	csn_alt.ma	blob \| history \| raw
-rw-r--r--	4353	csn_lift.ma	blob \| history \| raw
-rw-r--r--	6880	csn_lpx.ma	blob \| history \| raw
-rw-r--r--	5428	csn_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	2064	csn_vector.ma	blob \| history \| raw
-rw-r--r--	3034	lprs.ma	blob \| history \| raw
-rw-r--r--	2301	lprs_alt.ma	blob \| history \| raw
-rw-r--r--	6065	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--	3482	lpxs.ma	blob \| history \| raw
-rw-r--r--	1667	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	2467	lpxs_alt.ma	blob \| history \| raw
-rw-r--r--	4757	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--	4822	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--	1514	lsubc_lsuba.ma	blob \| history \| raw