matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2/etc/lpx

drwxr-xr-x		..
-rw-r--r--	1368	btpredsnstar_8.etc	blob \| history \| raw
-rw-r--r--	6710	csx_lpx.etc	blob \| history \| raw
-rw-r--r--	1486	csx_lpxs.etc	blob \| history \| raw
-rw-r--r--	1988	fpbc_fpns.etc	blob \| history \| raw
-rw-r--r--	4115	fpbg_fpns.etc	blob \| history \| raw
-rw-r--r--	1465	fpbs_fpns.etc	blob \| history \| raw
-rw-r--r--	3903	fpbu_fpns.etc	blob \| history \| raw
-rw-r--r--	2049	fpns.etc	blob \| history \| raw
-rw-r--r--	1481	fpns_fpns.etc	blob \| history \| raw
-rw-r--r--	1268	lazycosn_5.etc	blob \| history \| raw
-rw-r--r--	3635	lcosx.etc	blob \| history \| raw
-rw-r--r--	3795	lcosx_cpxs.etc	blob \| history \| raw
-rw-r--r--	3842	ldrop_lpx_sn.etc	blob \| history \| raw
-rw-r--r--	2860	lpr.etc	blob \| history \| raw
-rw-r--r--	5283	lpr_ldrop.etc	blob \| history \| raw
-rw-r--r--	18387	lpr_lpr.etc	blob \| history \| raw
-rw-r--r--	3232	lprs.etc	blob \| history \| raw
-rw-r--r--	2409	lprs_alt.etc	blob \| history \| raw
-rw-r--r--	6845	lprs_cprs.etc	blob \| history \| raw
-rw-r--r--	1569	lprs_ldrop.etc	blob \| history \| raw
-rw-r--r--	1595	lprs_lprs.etc	blob \| history \| raw
-rw-r--r--	3290	lpx.etc	blob \| history \| raw
-rw-r--r--	4235	lpx_aaa.etc	blob \| history \| raw
-rw-r--r--	4208	lpx_ldrop.etc	blob \| history \| raw
-rw-r--r--	5646	lpx_lleq.etc	blob \| history \| raw
-rw-r--r--	3748	lpx_sn.etc	blob \| history \| raw
-rw-r--r--	2560	lpx_sn_lpx_sn.etc	blob \| history \| raw
-rw-r--r--	5322	lpx_sn_tc.etc	blob \| history \| raw
-rw-r--r--	3553	lpxs.etc	blob \| history \| raw
-rw-r--r--	1743	lpxs_aaa.etc	blob \| history \| raw
-rw-r--r--	2510	lpxs_alt.etc	blob \| history \| raw
-rw-r--r--	7963	lpxs_cpxs.etc	blob \| history \| raw
-rw-r--r--	1593	lpxs_ldrop.etc	blob \| history \| raw
-rw-r--r--	6647	lpxs_lleq.etc	blob \| history \| raw
-rw-r--r--	1279	lpxs_lpxs.etc	blob \| history \| raw
-rw-r--r--	4399	lsx.etc	blob \| history \| raw
-rw-r--r--	3133	lsx_csx.etc	blob \| history \| raw
-rw-r--r--	3983	lsx_ldrop.etc	blob \| history \| raw
-rw-r--r--	5901	lsx_lpxs.etc	blob \| history \| raw
-rw-r--r--	1236	predsn_3.etc	blob \| history \| raw
-rw-r--r--	1279	predsn_5.etc	blob \| history \| raw
-rw-r--r--	1241	predsnstar_3.etc	blob \| history \| raw
-rw-r--r--	1285	predsnstar_5.etc	blob \| history \| raw
-rw-r--r--	1249	predsnstaralt_3.etc	blob \| history \| raw
-rw-r--r--	1292	predsnstaralt_5.etc	blob \| history \| raw