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--	3025	cnx.ma	blob \| history \| raw
-rw-r--r--	1824	cnx_basic.ma	blob \| history \| raw
-rw-r--r--	1550	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--	16441	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--	18394	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--	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--	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--	1803	cpr_teqx.ma	blob \| history \| raw
-rw-r--r--	9330	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--	12132	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--	1806	cpx_feqx.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--	2763	cpx_req.ma	blob \| history \| raw
-rw-r--r--	1610	cpx_reqx.ma	blob \| history \| raw
-rw-r--r--	1549	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2186	fpb.ma	blob \| history \| raw
-rw-r--r--	2424	fpb_feqx.ma	blob \| history \| raw
-rw-r--r--	2546	fpb_reqx.ma	blob \| history \| raw
-rw-r--r--	2367	fpbq.ma	blob \| history \| raw
-rw-r--r--	1616	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2697	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--	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--	1705	lpx_reqx.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--	6082	rpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1797	rpx_length.ma	blob \| history \| raw
-rw-r--r--	1855	rpx_lpx.ma	blob \| history \| raw
-rw-r--r--	8655	rpx_reqx.ma	blob \| history \| raw
-rw-r--r--	1854	rpx_rpx.ma	blob \| history \| raw