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

drwxr-xr-x		..
-rw-r--r--	2513	acp.ma	blob \| history \| raw
-rw-r--r--	5065	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	8656	acp_cr.ma	blob \| history \| raw
-rw-r--r--	1930	cpre.ma	blob \| history \| raw
-rw-r--r--	1583	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	6593	cprs.ma	blob \| history \| raw
-rw-r--r--	7939	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2803	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	1938	cpxe.ma	blob \| history \| raw
-rw-r--r--	8124	cpxs.ma	blob \| history \| raw
-rw-r--r--	1674	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	9888	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1368	cpxs_leq.ma	blob \| history \| raw
-rw-r--r--	6130	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	2172	cpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	5341	cpxs_tstc.ma	blob \| history \| raw
-rw-r--r--	9026	cpxs_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	5926	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--	1878	csx_fpbs.ma	blob \| history \| raw
-rw-r--r--	5403	csx_lift.ma	blob \| history \| raw
-rw-r--r--	1684	csx_lleq.ma	blob \| history \| raw
-rw-r--r--	6706	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1486	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	5740	csx_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	2080	csx_vector.ma	blob \| history \| raw
-rw-r--r--	1860	fpbc.ma	blob \| history \| raw
-rw-r--r--	1963	fpbc_fleq.ma	blob \| history \| raw
-rw-r--r--	1544	fpbc_fpbs.ma	blob \| history \| raw
-rw-r--r--	3541	fpbg.ma	blob \| history \| raw
-rw-r--r--	4080	fpbg_fleq.ma	blob \| history \| raw
-rw-r--r--	2802	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	1727	fpbg_lift.ma	blob \| history \| raw
-rw-r--r--	8372	fpbs.ma	blob \| history \| raw
-rw-r--r--	1618	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	4376	fpbs_alt.ma	blob \| history \| raw
-rw-r--r--	2018	fpbs_ext.ma	blob \| history \| raw
-rw-r--r--	1450	fpbs_fleq.ma	blob \| history \| raw
-rw-r--r--	1300	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2135	fpbs_lift.ma	blob \| history \| raw
-rw-r--r--	2510	fpbu.ma	blob \| history \| raw
-rw-r--r--	3505	fpbu_fleq.ma	blob \| history \| raw
-rw-r--r--	1854	fpbu_lift.ma	blob \| history \| raw
-rw-r--r--	1964	fpbu_lleq.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--	3533	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	3591	lcosx.ma	blob \| history \| raw
-rw-r--r--	3556	lcosx_cpx.ma	blob \| history \| raw
-rw-r--r--	3237	lprs.ma	blob \| history \| raw
-rw-r--r--	7072	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1563	lprs_drop.ma	blob \| history \| raw
-rw-r--r--	1595	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	3618	lpxs.ma	blob \| history \| raw
-rw-r--r--	1714	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	8657	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1587	lpxs_drop.ma	blob \| history \| raw
-rw-r--r--	6605	lpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1291	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	5141	lsubc.ma	blob \| history \| raw
-rw-r--r--	3637	lsubc_drop.ma	blob \| history \| raw
-rw-r--r--	1845	lsubc_drops.ma	blob \| history \| raw
-rw-r--r--	1553	lsubc_lsuba.ma	blob \| history \| raw
-rw-r--r--	4532	lsx.ma	blob \| history \| raw
-rw-r--r--	5393	lsx_alt.ma	blob \| history \| raw
-rw-r--r--	3077	lsx_csx.ma	blob \| history \| raw
-rw-r--r--	4610	lsx_drop.ma	blob \| history \| raw
-rw-r--r--	3101	lsx_lpx.ma	blob \| history \| raw
-rw-r--r--	3116	lsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3056	scpds.ma	blob \| history \| raw
-rw-r--r--	1440	scpds_aaa.ma	blob \| history \| raw
-rw-r--r--	1904	scpds_lift.ma	blob \| history \| raw
-rw-r--r--	4842	scpds_scpds.ma	blob \| history \| raw