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--	4664	cnr_teqg.ma	blob \| history \| raw
-rw-r--r--	1485	cnr_teqx.ma	blob \| history \| raw
-rw-r--r--	3025	cnx.ma	blob \| history \| raw
-rw-r--r--	1824	cnx_basic.ma	blob \| history \| raw
-rw-r--r--	1577	cnx_cnx.ma	blob \| history \| raw
-rw-r--r--	2719	cnx_drops.ma	blob \| history \| raw
-rw-r--r--	2450	cnx_simple.ma	blob \| history \| raw
-rw-r--r--	16450	cpg.ma	blob \| history \| raw
-rw-r--r--	13640	cpg_drops.ma	blob \| history \| raw
-rw-r--r--	1998	cpg_lsubr.ma	blob \| history \| raw
-rw-r--r--	1844	cpg_simple.ma	blob \| history \| raw
-rw-r--r--	18403	cpm.ma	blob \| history \| raw
-rw-r--r--	2282	cpm_aaa.ma	blob \| history \| raw
-rw-r--r--	1450	cpm_cpx.ma	blob \| history \| raw
-rw-r--r--	7697	cpm_drops.ma	blob \| history \| raw
-rw-r--r--	1477	cpm_fpb.ma	blob \| history \| raw
-rw-r--r--	1502	cpm_fpbc.ma	blob \| history \| raw
-rw-r--r--	1776	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--	7734	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--	1896	cpr_teqg.ma	blob \| history \| raw
-rw-r--r--	9339	cpt.ma	blob \| history \| raw
-rw-r--r--	1506	cpt_cpm.ma	blob \| history \| raw
-rw-r--r--	6733	cpt_drops.ma	blob \| history \| raw
-rw-r--r--	3666	cpt_fqu.ma	blob \| history \| raw
-rw-r--r--	12074	cpx.ma	blob \| history \| raw
-rw-r--r--	3369	cpx_drops.ma	blob \| history \| raw
-rw-r--r--	2520	cpx_drops_basic.ma	blob \| history \| raw
-rw-r--r--	1360	cpx_ext.ma	blob \| history \| raw
-rw-r--r--	2125	cpx_feqg.ma	blob \| history \| raw
-rw-r--r--	6602	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1616	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1675	cpx_reqg.ma	blob \| history \| raw
-rw-r--r--	1549	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2332	fpb.ma	blob \| history \| raw
-rw-r--r--	1799	fpb_aaa.ma	blob \| history \| raw
-rw-r--r--	2482	fpb_feqg.ma	blob \| history \| raw
-rw-r--r--	1866	fpb_fqup.ma	blob \| history \| raw
-rw-r--r--	2539	fpb_lpx.ma	blob \| history \| raw
-rw-r--r--	2691	fpbc.ma	blob \| history \| raw
-rw-r--r--	2102	fpbc_feqg.ma	blob \| history \| raw
-rw-r--r--	1573	fpbc_fpb.ma	blob \| history \| raw
-rw-r--r--	1717	fpbc_fqup.ma	blob \| history \| raw
-rw-r--r--	2500	fpbc_lpx.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--	1434	lpr_fpb.ma	blob \| history \| raw
-rw-r--r--	1463	lpr_fpbc.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--	1455	lpr_lpx.ma	blob \| history \| raw
-rw-r--r--	4053	lpx.ma	blob \| history \| raw
-rw-r--r--	3894	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1769	lpx_drops.ma	blob \| history \| raw
-rw-r--r--	3923	lpx_fquq.ma	blob \| history \| raw
-rw-r--r--	1621	lpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1365	lpx_length.ma	blob \| history \| raw
-rw-r--r--	2649	lpx_reqg.ma	blob \| history \| raw
-rw-r--r--	6185	rpx.ma	blob \| history \| raw
-rw-r--r--	1918	rpx_drops.ma	blob \| history \| raw
-rw-r--r--	2028	rpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6094	rpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1797	rpx_length.ma	blob \| history \| raw
-rw-r--r--	2137	rpx_lpx.ma	blob \| history \| raw
-rw-r--r--	8439	rpx_reqg.ma	blob \| history \| raw
-rw-r--r--	7655	rpx_reqx.ma	blob \| history \| raw
-rw-r--r--	1854	rpx_rpx.ma	blob \| history \| raw