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--	5132	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	8802	acp_cr.ma	blob \| history \| raw
-rw-r--r--	2517	cpds.ma	blob \| history \| raw
-rw-r--r--	1432	cpds_aaa.ma	blob \| history \| raw
-rw-r--r--	3923	cpds_cpds.ma	blob \| history \| raw
-rw-r--r--	1825	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--	6480	cprs.ma	blob \| history \| raw
-rw-r--r--	8741	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2657	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	1865	cpxe.ma	blob \| history \| raw
-rw-r--r--	8120	cpxs.ma	blob \| history \| raw
-rw-r--r--	1674	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	10576	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1921	cpxs_cpys.ma	blob \| history \| raw
-rw-r--r--	6172	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	1760	cpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	5142	cpxs_tstc.ma	blob \| history \| raw
-rw-r--r--	8692	cpxs_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	5922	csx.ma	blob \| history \| raw
-rw-r--r--	3131	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	4958	csx_alt.ma	blob \| history \| raw
-rw-r--r--	2037	csx_fpbs.ma	blob \| history \| raw
-rw-r--r--	5422	csx_lift.ma	blob \| history \| raw
-rw-r--r--	6912	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	5462	csx_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	2080	csx_vector.ma	blob \| history \| raw
-rw-r--r--	1876	fpbc.ma	blob \| history \| raw
-rw-r--r--	1544	fpbc_fpbs.ma	blob \| history \| raw
-rw-r--r--	1988	fpbc_fpns.ma	blob \| history \| raw
-rw-r--r--	3541	fpbg.ma	blob \| history \| raw
-rw-r--r--	2803	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	4115	fpbg_fpns.ma	blob \| history \| raw
-rw-r--r--	1739	fpbg_lift.ma	blob \| history \| raw
-rw-r--r--	6451	fpbs.ma	blob \| history \| raw
-rw-r--r--	1618	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	3113	fpbs_alt.ma	blob \| history \| raw
-rw-r--r--	2544	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	1464	fpbs_fpns.ma	blob \| history \| raw
-rw-r--r--	1707	fpbs_lift.ma	blob \| history \| raw
-rw-r--r--	2550	fpbu.ma	blob \| history \| raw
-rw-r--r--	3860	fpbu_fpns.ma	blob \| history \| raw
-rw-r--r--	1872	fpbu_lift.ma	blob \| history \| raw
-rw-r--r--	2051	fpns.ma	blob \| history \| raw
-rw-r--r--	1483	fpns_fpns.ma	blob \| history \| raw
-rw-r--r--	2283	fsb.ma	blob \| history \| raw
-rw-r--r--	3886	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	4010	fsb_alt.ma	blob \| history \| raw
-rw-r--r--	3511	fsb_csx.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--	6627	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1593	lpxs_ldrop.ma	blob \| history \| raw
-rw-r--r--	5185	lpxs_lleq.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
-rw-r--r--	4020	lsx.ma	blob \| history \| raw
-rw-r--r--	2653	lsx_csx.ma	blob \| history \| raw
-rw-r--r--	2743	lsx_lpxs.ma	blob \| history \| raw