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

drwxr-xr-x		..
-rw-r--r--	1933	cpre.ma	blob \| history \| raw
-rw-r--r--	1585	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	6623	cprs.ma	blob \| history \| raw
-rw-r--r--	7941	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2805	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	1941	cpxe.ma	blob \| history \| raw
-rw-r--r--	8545	cpxs.ma	blob \| history \| raw
-rw-r--r--	1676	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	9890	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	6512	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	2174	cpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1374	cpxs_lreq.ma	blob \| history \| raw
-rw-r--r--	5343	cpxs_tsts.ma	blob \| history \| raw
-rw-r--r--	9029	cpxs_tsts_vector.ma	blob \| history \| raw
-rw-r--r--	5928	csx.ma	blob \| history \| raw
-rw-r--r--	3134	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	4961	csx_alt.ma	blob \| history \| raw
-rw-r--r--	1881	csx_fpbs.ma	blob \| history \| raw
-rw-r--r--	5442	csx_lift.ma	blob \| history \| raw
-rw-r--r--	1686	csx_lleq.ma	blob \| history \| raw
-rw-r--r--	6710	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1488	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	5718	csx_tsts_vector.ma	blob \| history \| raw
-rw-r--r--	2098	csx_vector.ma	blob \| history \| raw
-rw-r--r--	2179	fpbg.ma	blob \| history \| raw
-rw-r--r--	3771	fpbg_fleq.ma	blob \| history \| raw
-rw-r--r--	1319	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	3831	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1449	fpbg_lift.ma	blob \| history \| raw
-rw-r--r--	8599	fpbs.ma	blob \| history \| raw
-rw-r--r--	1622	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	4341	fpbs_alt.ma	blob \| history \| raw
-rw-r--r--	2449	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1301	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2098	fpbs_lift.ma	blob \| history \| raw
-rw-r--r--	2259	fsb.ma	blob \| history \| raw
-rw-r--r--	3853	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	3932	fsb_alt.ma	blob \| history \| raw
-rw-r--r--	3790	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	2586	gcp.ma	blob \| history \| raw
-rw-r--r--	5041	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	7690	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	3593	lcosx.ma	blob \| history \| raw
-rw-r--r--	3567	lcosx_cpx.ma	blob \| history \| raw
-rw-r--r--	3281	lprs.ma	blob \| history \| raw
-rw-r--r--	7074	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1565	lprs_drop.ma	blob \| history \| raw
-rw-r--r--	1609	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	3621	lpxs.ma	blob \| history \| raw
-rw-r--r--	1716	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	8659	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1589	lpxs_drop.ma	blob \| history \| raw
-rw-r--r--	7427	lpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1292	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	5396	lsubc.ma	blob \| history \| raw
-rw-r--r--	3559	lsubc_drop.ma	blob \| history \| raw
-rw-r--r--	1778	lsubc_drops.ma	blob \| history \| raw
-rw-r--r--	1554	lsubc_lsuba.ma	blob \| history \| raw
-rw-r--r--	4535	lsx.ma	blob \| history \| raw
-rw-r--r--	5355	lsx_alt.ma	blob \| history \| raw
-rw-r--r--	3079	lsx_csx.ma	blob \| history \| raw
-rw-r--r--	4614	lsx_drop.ma	blob \| history \| raw
-rw-r--r--	3110	lsx_lpx.ma	blob \| history \| raw
-rw-r--r--	3118	lsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	2653	scpds.ma	blob \| history \| raw
-rw-r--r--	1443	scpds_aaa.ma	blob \| history \| raw
-rw-r--r--	1908	scpds_lift.ma	blob \| history \| raw
-rw-r--r--	4892	scpds_scpds.ma	blob \| history \| raw