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

drwxr-xr-x		..
-rw-r--r--	3169	cnx.ma	blob \| history \| raw
-rw-r--r--	1837	cnx_basic.ma	blob \| history \| raw
-rw-r--r--	1587	cnx_cnx.ma	blob \| history \| raw
-rw-r--r--	2755	cnx_drops.ma	blob \| history \| raw
-rw-r--r--	2537	cnx_simple.ma	blob \| history \| raw
-rw-r--r--	17669	cpg.ma	blob \| history \| raw
-rw-r--r--	13741	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--	18836	cpm.ma	blob \| history \| raw
-rw-r--r--	2283	cpm_aaa.ma	blob \| history \| raw
-rw-r--r--	1538	cpm_cpx.ma	blob \| history \| raw
-rw-r--r--	8101	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--	2287	cpm_tdeq.ma	blob \| history \| raw
-rw-r--r--	7611	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--	1386	cpr_ext.ma	blob \| history \| raw
-rw-r--r--	1808	cpr_tdeq.ma	blob \| history \| raw
-rw-r--r--	13899	cpx.ma	blob \| history \| raw
-rw-r--r--	3604	cpx_drops.ma	blob \| history \| raw
-rw-r--r--	2552	cpx_drops_basic.ma	blob \| history \| raw
-rw-r--r--	1388	cpx_ext.ma	blob \| history \| raw
-rw-r--r--	1853	cpx_fdeq.ma	blob \| history \| raw
-rw-r--r--	7003	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1680	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1624	cpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	3236	cpx_req.ma	blob \| history \| raw
-rw-r--r--	1615	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	4294	cwhx.ma	blob \| history \| raw
-rw-r--r--	2167	cwhx_drops.ma	blob \| history \| raw
-rw-r--r--	2165	cwhx_rdeq.ma	blob \| history \| raw
-rw-r--r--	2279	fpb.ma	blob \| history \| raw
-rw-r--r--	2501	fpb_fdeq.ma	blob \| history \| raw
-rw-r--r--	2637	fpb_rdeq.ma	blob \| history \| raw
-rw-r--r--	2413	fpbq.ma	blob \| history \| raw
-rw-r--r--	1639	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2836	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--	17286	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--	3944	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--	1768	lpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	6905	rpx.ma	blob \| history \| raw
-rw-r--r--	1995	rpx_drops.ma	blob \| history \| raw
-rw-r--r--	2096	rpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6186	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--	8997	rpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	1926	rpx_rpx.ma	blob \| history \| raw