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--	1606	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--	1754	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--	1880	cpx_ffdeq.ma	blob \| history \| raw
-rw-r--r--	7069	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1655	cpx_lfdeq.ma	blob \| history \| raw
-rw-r--r--	3143	cpx_lfeq.ma	blob \| history \| raw
-rw-r--r--	1680	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1615	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2330	fpb.ma	blob \| history \| raw
-rw-r--r--	2551	fpb_ffdeq.ma	blob \| history \| raw
-rw-r--r--	2680	fpb_lfdeq.ma	blob \| history \| raw
-rw-r--r--	2458	fpbq.ma	blob \| history \| raw
-rw-r--r--	1647	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2909	fpbq_fpb.ma	blob \| history \| raw
-rw-r--r--	6988	lfpx.ma	blob \| history \| raw
-rw-r--r--	2109	lfpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6042	lfpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1967	lfpx_length.ma	blob \| history \| raw
-rw-r--r--	9094	lfpx_lfdeq.ma	blob \| history \| raw
-rw-r--r--	1939	lfpx_lfpx.ma	blob \| history \| raw
-rw-r--r--	1891	lfpx_lpx.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--	1663	lpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1366	lpx_length.ma	blob \| history \| raw
-rw-r--r--	1809	lpx_lfdeq.ma	blob \| history \| raw