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

drwxr-xr-x		..
-rw-r--r--	2625	acp.ma	blob \| history \| raw
-rw-r--r--	5141	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	8824	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--	3953	cpds_cpds.ma	blob \| history \| raw
-rw-r--r--	1857	cpds_lift.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--	7940	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2805	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--	1675	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	10591	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1368	cpxs_leq.ma	blob \| history \| raw
-rw-r--r--	6297	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	2172	cpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	5348	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--	1822	csx_fpbs.ma	blob \| history \| raw
-rw-r--r--	5432	csx_lift.ma	blob \| history \| raw
-rw-r--r--	6781	csx_llpx.ma	blob \| history \| raw
-rw-r--r--	1507	csx_llpxs.ma	blob \| history \| raw
-rw-r--r--	5771	csx_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	2080	csx_vector.ma	blob \| history \| raw
-rw-r--r--	1866	fpbc.ma	blob \| history \| raw
-rw-r--r--	1967	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--	2803	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	1739	fpbg_lift.ma	blob \| history \| raw
-rw-r--r--	7580	fpbs.ma	blob \| history \| raw
-rw-r--r--	1618	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	3183	fpbs_alt.ma	blob \| history \| raw
-rw-r--r--	1941	fpbs_ext.ma	blob \| history \| raw
-rw-r--r--	1513	fpbs_fleq.ma	blob \| history \| raw
-rw-r--r--	1305	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	1740	fpbs_lift.ma	blob \| history \| raw
-rw-r--r--	2106	fpbs_lpr.ma	blob \| history \| raw
-rw-r--r--	2576	fpbu.ma	blob \| history \| raw
-rw-r--r--	3483	fpbu_fleq.ma	blob \| history \| raw
-rw-r--r--	1872	fpbu_lift.ma	blob \| history \| raw
-rw-r--r--	1863	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--	3539	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	4459	llpxs.ma	blob \| history \| raw
-rw-r--r--	1741	llpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	9172	llpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	3544	llpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1312	llpxs_llpxs.ma	blob \| history \| raw
-rw-r--r--	1472	llpxs_lprs.ma	blob \| history \| raw
-rw-r--r--	2614	llsx.ma	blob \| history \| raw
-rw-r--r--	5154	llsx_alt.ma	blob \| history \| raw
-rw-r--r--	4919	llsx_csx.ma	blob \| history \| raw
-rw-r--r--	1647	llsx_ldrop.ma	blob \| history \| raw
-rw-r--r--	1619	llsx_llpx.ma	blob \| history \| raw
-rw-r--r--	3365	llsx_llpxs.ma	blob \| history \| raw
-rw-r--r--	3235	lprs.ma	blob \| history \| raw
-rw-r--r--	2409	lprs_alt.ma	blob \| history \| raw
-rw-r--r--	6574	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--	5028	lsubc.ma	blob \| history \| raw
-rw-r--r--	3675	lsubc_ldrop.ma	blob \| history \| raw
-rw-r--r--	1870	lsubc_ldrops.ma	blob \| history \| raw
-rw-r--r--	1535	lsubc_lsuba.ma	blob \| history \| raw