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

drwxr-xr-x		..
-rw-r--r--	1930	cpre.ma	blob \| history \| raw
-rw-r--r--	1583	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	6621	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--	8542	cpxs.ma	blob \| history \| raw
-rw-r--r--	1674	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	9909	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	6509	cpxs_lift.ma	blob \| history \| raw
-rw-r--r--	2172	cpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1372	cpxs_lreq.ma	blob \| history \| raw
-rw-r--r--	5341	cpxs_tsts.ma	blob \| history \| raw
-rw-r--r--	9026	cpxs_tsts_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--	5439	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--	5714	csx_tsts_vector.ma	blob \| history \| raw
-rw-r--r--	2096	csx_vector.ma	blob \| history \| raw
-rw-r--r--	2176	fpbg.ma	blob \| history \| raw
-rw-r--r--	3768	fpbg_fleq.ma	blob \| history \| raw
-rw-r--r--	1318	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	3828	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1447	fpbg_lift.ma	blob \| history \| raw
-rw-r--r--	8594	fpbs.ma	blob \| history \| raw
-rw-r--r--	1620	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	4336	fpbs_alt.ma	blob \| history \| raw
-rw-r--r--	2447	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1300	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2096	fpbs_lift.ma	blob \| history \| raw
-rw-r--r--	2256	fsb.ma	blob \| history \| raw
-rw-r--r--	3850	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	3929	fsb_alt.ma	blob \| history \| raw
-rw-r--r--	3785	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	2584	gcp.ma	blob \| history \| raw
-rw-r--r--	5036	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	7691	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	3595	lcosx.ma	blob \| history \| raw
-rw-r--r--	3576	lcosx_cpx.ma	blob \| history \| raw
-rw-r--r--	3278	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--	1607	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--	7422	lpxs_lleq.ma	blob \| history \| raw
-rw-r--r--	1291	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	5392	lsubc.ma	blob \| history \| raw
-rw-r--r--	3557	lsubc_drop.ma	blob \| history \| raw
-rw-r--r--	1777	lsubc_drops.ma	blob \| history \| raw
-rw-r--r--	1552	lsubc_lsuba.ma	blob \| history \| raw
-rw-r--r--	4532	lsx.ma	blob \| history \| raw
-rw-r--r--	5352	lsx_alt.ma	blob \| history \| raw
-rw-r--r--	3077	lsx_csx.ma	blob \| history \| raw
-rw-r--r--	4611	lsx_drop.ma	blob \| history \| raw
-rw-r--r--	3107	lsx_lpx.ma	blob \| history \| raw
-rw-r--r--	3116	lsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	2650	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--	4888	scpds_scpds.ma	blob \| history \| raw