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

drwxr-xr-x		..
-rw-r--r--	2608	acp.ma	blob \| history \| raw
-rw-r--r--	4879	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	8630	acp_cr.ma	blob \| history \| raw
-rw-r--r--	2550	cpds.ma	blob \| history \| raw
-rw-r--r--	1483	cpds_aaa.ma	blob \| history \| raw
-rw-r--r--	3099	cpds_cpds.ma	blob \| history \| raw
-rw-r--r--	1717	cpds_lift.ma	blob \| history \| raw
-rw-r--r--	1851	cpre.ma	blob \| history \| raw
-rw-r--r--	1582	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	6479	cprs.ma	blob \| history \| raw
-rw-r--r--	8741	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2659	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	1865	cpxe.ma	blob \| history \| raw
-rw-r--r--	7309	cpxs.ma	blob \| history \| raw
-rw-r--r--	1674	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	7402	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	4083	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	5146	cpxs_tstc.ma	blob \| history \| raw
-rw-r--r--	8694	cpxs_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	5460	csn.ma	blob \| history \| raw
-rw-r--r--	1419	csn_aaa.ma	blob \| history \| raw
-rw-r--r--	4668	csn_alt.ma	blob \| history \| raw
-rw-r--r--	4381	csn_lift.ma	blob \| history \| raw
-rw-r--r--	6913	csn_lpx.ma	blob \| history \| raw
-rw-r--r--	5463	csn_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	2080	csn_vector.ma	blob \| history \| raw
-rw-r--r--	3232	lprs.ma	blob \| history \| raw
-rw-r--r--	2409	lprs_alt.ma	blob \| history \| raw
-rw-r--r--	6590	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1569	lprs_ldrop.ma	blob \| history \| raw
-rw-r--r--	1595	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	3553	lpxs.ma	blob \| history \| raw
-rw-r--r--	1743	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	2510	lpxs_alt.ma	blob \| history \| raw
-rw-r--r--	4809	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1593	lpxs_ldrop.ma	blob \| history \| raw
-rw-r--r--	1279	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	5028	lsubc.ma	blob \| history \| raw
-rw-r--r--	3250	lsubc_ldrop.ma	blob \| history \| raw
-rw-r--r--	1809	lsubc_ldrops.ma	blob \| history \| raw
-rw-r--r--	1535	lsubc_lsuba.ma	blob \| history \| raw