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

drwxr-xr-x		..
-rw-r--r--	3822	cnx.ma	blob \| history \| raw
-rw-r--r--	1604	cnx_cnx.ma	blob \| history \| raw
-rw-r--r--	2793	cnx_drops.ma	blob \| history \| raw
-rw-r--r--	2565	cnx_simple.ma	blob \| history \| raw
-rw-r--r--	17693	cpg.ma	blob \| history \| raw
-rw-r--r--	13863	cpg_drops.ma	blob \| history \| raw
-rw-r--r--	1985	cpg_lsubr.ma	blob \| history \| raw
-rw-r--r--	1897	cpg_simple.ma	blob \| history \| raw
-rw-r--r--	18643	cpm.ma	blob \| history \| raw
-rw-r--r--	1409	cpm_aaa.ma	blob \| history \| raw
-rw-r--r--	1538	cpm_cpx.ma	blob \| history \| raw
-rw-r--r--	8111	cpm_drops.ma	blob \| history \| raw
-rw-r--r--	1746	cpm_fsle.ma	blob \| history \| raw
-rw-r--r--	1757	cpm_lsubr.ma	blob \| history \| raw
-rw-r--r--	1846	cpm_simple.ma	blob \| history \| raw
-rw-r--r--	7577	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--	1386	cpr_ext.ma	blob \| history \| raw
-rw-r--r--	13613	cpx.ma	blob \| history \| raw
-rw-r--r--	3604	cpx_drops.ma	blob \| history \| raw
-rw-r--r--	1388	cpx_ext.ma	blob \| history \| raw
-rw-r--r--	1870	cpx_fdeq.ma	blob \| history \| raw
-rw-r--r--	7071	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1680	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1646	cpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	3118	cpx_req.ma	blob \| history \| raw
-rw-r--r--	1615	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2331	fpb.ma	blob \| history \| raw
-rw-r--r--	2538	fpb_fdeq.ma	blob \| history \| raw
-rw-r--r--	2667	fpb_rdeq.ma	blob \| history \| raw
-rw-r--r--	2455	fpbq.ma	blob \| history \| raw
-rw-r--r--	1647	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2903	fpbq_fpb.ma	blob \| history \| raw
-rw-r--r--	4777	lpr.ma	blob \| history \| raw
-rw-r--r--	1368	lpr_aaa.ma	blob \| history \| raw
-rw-r--r--	1891	lpr_drops.ma	blob \| history \| raw
-rw-r--r--	7188	lpr_fquq.ma	blob \| history \| raw
-rw-r--r--	1287	lpr_length.ma	blob \| history \| raw
-rw-r--r--	19330	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	1452	lpr_lpx.ma	blob \| history \| raw
-rw-r--r--	4576	lpx.ma	blob \| history \| raw
-rw-r--r--	3878	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1787	lpx_drops.ma	blob \| history \| raw
-rw-r--r--	4191	lpx_fquq.ma	blob \| history \| raw
-rw-r--r--	1660	lpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1367	lpx_length.ma	blob \| history \| raw
-rw-r--r--	1795	lpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	6905	rpx.ma	blob \| history \| raw
-rw-r--r--	2096	rpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6005	rpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1958	rpx_length.ma	blob \| history \| raw
-rw-r--r--	1878	rpx_lpx.ma	blob \| history \| raw
-rw-r--r--	9013	rpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	1926	rpx_rpx.ma	blob \| history \| raw