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

drwxr-xr-x		..
-rw-r--r--	3821	cnx.ma	blob \| history \| raw
-rw-r--r--	1604	cnx_cnx.ma	blob \| history \| raw
-rw-r--r--	2792	cnx_drops.ma	blob \| history \| raw
-rw-r--r--	2565	cnx_simple.ma	blob \| history \| raw
-rw-r--r--	17689	cpg.ma	blob \| history \| raw
-rw-r--r--	13860	cpg_drops.ma	blob \| history \| raw
-rw-r--r--	1984	cpg_lsubr.ma	blob \| history \| raw
-rw-r--r--	1896	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--	1385	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--	1387	cpx_ext.ma	blob \| history \| raw
-rw-r--r--	1869	cpx_fdeq.ma	blob \| history \| raw
-rw-r--r--	7069	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1680	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1645	cpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	3117	cpx_req.ma	blob \| history \| raw
-rw-r--r--	1615	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2329	fpb.ma	blob \| history \| raw
-rw-r--r--	2536	fpb_fdeq.ma	blob \| history \| raw
-rw-r--r--	2666	fpb_rdeq.ma	blob \| history \| raw
-rw-r--r--	2453	fpbq.ma	blob \| history \| raw
-rw-r--r--	1645	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2903	fpbq_fpb.ma	blob \| history \| raw
-rw-r--r--	4776	lpr.ma	blob \| history \| raw
-rw-r--r--	1368	lpr_aaa.ma	blob \| history \| raw
-rw-r--r--	1890	lpr_drops.ma	blob \| history \| raw
-rw-r--r--	7187	lpr_fquq.ma	blob \| history \| raw
-rw-r--r--	1286	lpr_length.ma	blob \| history \| raw
-rw-r--r--	19329	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	1452	lpr_lpx.ma	blob \| history \| raw
-rw-r--r--	4575	lpx.ma	blob \| history \| raw
-rw-r--r--	3876	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1786	lpx_drops.ma	blob \| history \| raw
-rw-r--r--	4190	lpx_fquq.ma	blob \| history \| raw
-rw-r--r--	1660	lpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1366	lpx_length.ma	blob \| history \| raw
-rw-r--r--	1794	lpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	6904	rpx.ma	blob \| history \| raw
-rw-r--r--	2095	rpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6003	rpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1957	rpx_length.ma	blob \| history \| raw
-rw-r--r--	1877	rpx_lpx.ma	blob \| history \| raw
-rw-r--r--	9011	rpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	1925	rpx_rpx.ma	blob \| history \| raw