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

drwxr-xr-x		..
-rw-r--r--	3538	cnr.ma	blob \| history \| raw
-rw-r--r--	3326	cnr_drops.ma	blob \| history \| raw
-rw-r--r--	2361	cnr_simple.ma	blob \| history \| raw
-rw-r--r--	4644	cnr_teqx.ma	blob \| history \| raw
-rw-r--r--	3101	cnx.ma	blob \| history \| raw
-rw-r--r--	1836	cnx_basic.ma	blob \| history \| raw
-rw-r--r--	1573	cnx_cnx.ma	blob \| history \| raw
-rw-r--r--	2737	cnx_drops.ma	blob \| history \| raw
-rw-r--r--	2495	cnx_simple.ma	blob \| history \| raw
-rw-r--r--	17711	cpg.ma	blob \| history \| raw
-rw-r--r--	13804	cpg_drops.ma	blob \| history \| raw
-rw-r--r--	1985	cpg_lsubr.ma	blob \| history \| raw
-rw-r--r--	1888	cpg_simple.ma	blob \| history \| raw
-rw-r--r--	19477	cpm.ma	blob \| history \| raw
-rw-r--r--	2282	cpm_aaa.ma	blob \| history \| raw
-rw-r--r--	1535	cpm_cpx.ma	blob \| history \| raw
-rw-r--r--	8056	cpm_drops.ma	blob \| history \| raw
-rw-r--r--	1746	cpm_fsle.ma	blob \| history \| raw
-rw-r--r--	1754	cpm_lsubr.ma	blob \| history \| raw
-rw-r--r--	1843	cpm_simple.ma	blob \| history \| raw
-rw-r--r--	2286	cpm_teqx.ma	blob \| history \| raw
-rw-r--r--	7742	cpr.ma	blob \| history \| raw
-rw-r--r--	1355	cpr_cpr.ma	blob \| history \| raw
-rw-r--r--	2284	cpr_drops.ma	blob \| history \| raw
-rw-r--r--	2572	cpr_drops_basic.ma	blob \| history \| raw
-rw-r--r--	1377	cpr_ext.ma	blob \| history \| raw
-rw-r--r--	1803	cpr_teqx.ma	blob \| history \| raw
-rw-r--r--	9241	cpt.ma	blob \| history \| raw
-rw-r--r--	1506	cpt_cpm.ma	blob \| history \| raw
-rw-r--r--	6724	cpt_drops.ma	blob \| history \| raw
-rw-r--r--	3666	cpt_fqu.ma	blob \| history \| raw
-rw-r--r--	14012	cpx.ma	blob \| history \| raw
-rw-r--r--	3625	cpx_drops.ma	blob \| history \| raw
-rw-r--r--	2550	cpx_drops_basic.ma	blob \| history \| raw
-rw-r--r--	1388	cpx_ext.ma	blob \| history \| raw
-rw-r--r--	1843	cpx_feqx.ma	blob \| history \| raw
-rw-r--r--	6926	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1677	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	2779	cpx_req.ma	blob \| history \| raw
-rw-r--r--	1623	cpx_reqx.ma	blob \| history \| raw
-rw-r--r--	1612	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2264	fpb.ma	blob \| history \| raw
-rw-r--r--	2477	fpb_feqx.ma	blob \| history \| raw
-rw-r--r--	2620	fpb_reqx.ma	blob \| history \| raw
-rw-r--r--	2393	fpbq.ma	blob \| history \| raw
-rw-r--r--	1633	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2790	fpbq_fpb.ma	blob \| history \| raw
-rw-r--r--	4803	lpr.ma	blob \| history \| raw
-rw-r--r--	1370	lpr_aaa.ma	blob \| history \| raw
-rw-r--r--	1891	lpr_drops.ma	blob \| history \| raw
-rw-r--r--	7146	lpr_fquq.ma	blob \| history \| raw
-rw-r--r--	1288	lpr_length.ma	blob \| history \| raw
-rw-r--r--	17332	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	1452	lpr_lpx.ma	blob \| history \| raw
-rw-r--r--	4547	lpx.ma	blob \| history \| raw
-rw-r--r--	3940	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1787	lpx_drops.ma	blob \| history \| raw
-rw-r--r--	4151	lpx_fquq.ma	blob \| history \| raw
-rw-r--r--	1653	lpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1366	lpx_length.ma	blob \| history \| raw
-rw-r--r--	1766	lpx_reqx.ma	blob \| history \| raw
-rw-r--r--	6807	rpx.ma	blob \| history \| raw
-rw-r--r--	1995	rpx_drops.ma	blob \| history \| raw
-rw-r--r--	2083	rpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6176	rpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1951	rpx_length.ma	blob \| history \| raw
-rw-r--r--	1870	rpx_lpx.ma	blob \| history \| raw
-rw-r--r--	8963	rpx_reqx.ma	blob \| history \| raw
-rw-r--r--	1908	rpx_rpx.ma	blob \| history \| raw