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

drwxr-xr-x		..
-rw-r--r--	3549	cnr.ma	blob \| history \| raw
-rw-r--r--	3341	cnr_drops.ma	blob \| history \| raw
-rw-r--r--	2379	cnr_simple.ma	blob \| history \| raw
-rw-r--r--	4646	cnr_tdeq.ma	blob \| history \| raw
-rw-r--r--	3158	cnx.ma	blob \| history \| raw
-rw-r--r--	1837	cnx_basic.ma	blob \| history \| raw
-rw-r--r--	1585	cnx_cnx.ma	blob \| history \| raw
-rw-r--r--	2752	cnx_drops.ma	blob \| history \| raw
-rw-r--r--	2531	cnx_simple.ma	blob \| history \| raw
-rw-r--r--	17462	cpg.ma	blob \| history \| raw
-rw-r--r--	13712	cpg_drops.ma	blob \| history \| raw
-rw-r--r--	1985	cpg_lsubr.ma	blob \| history \| raw
-rw-r--r--	1888	cpg_simple.ma	blob \| history \| raw
-rw-r--r--	19371	cpm.ma	blob \| history \| raw
-rw-r--r--	2282	cpm_aaa.ma	blob \| history \| raw
-rw-r--r--	1535	cpm_cpx.ma	blob \| history \| raw
-rw-r--r--	8068	cpm_drops.ma	blob \| history \| raw
-rw-r--r--	1746	cpm_fsle.ma	blob \| history \| raw
-rw-r--r--	1752	cpm_lsubr.ma	blob \| history \| raw
-rw-r--r--	1841	cpm_simple.ma	blob \| history \| raw
-rw-r--r--	2286	cpm_tdeq.ma	blob \| history \| raw
-rw-r--r--	7568	cpr.ma	blob \| history \| raw
-rw-r--r--	1355	cpr_cpr.ma	blob \| history \| raw
-rw-r--r--	2280	cpr_drops.ma	blob \| history \| raw
-rw-r--r--	2571	cpr_drops_basic.ma	blob \| history \| raw
-rw-r--r--	1386	cpr_ext.ma	blob \| history \| raw
-rw-r--r--	1801	cpr_tdeq.ma	blob \| history \| raw
-rw-r--r--	3879	cpt.ma	blob \| history \| raw
-rw-r--r--	3509	cpt_cpm.ma	blob \| history \| raw
-rw-r--r--	2106	cpt_drops.ma	blob \| history \| raw
-rw-r--r--	13798	cpx.ma	blob \| history \| raw
-rw-r--r--	3597	cpx_drops.ma	blob \| history \| raw
-rw-r--r--	2551	cpx_drops_basic.ma	blob \| history \| raw
-rw-r--r--	1388	cpx_ext.ma	blob \| history \| raw
-rw-r--r--	1843	cpx_fdeq.ma	blob \| history \| raw
-rw-r--r--	6927	cpx_fqus.ma	blob \| history \| raw
-rw-r--r--	1677	cpx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1623	cpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	3233	cpx_req.ma	blob \| history \| raw
-rw-r--r--	1612	cpx_simple.ma	blob \| history \| raw
-rw-r--r--	2262	fpb.ma	blob \| history \| raw
-rw-r--r--	2477	fpb_fdeq.ma	blob \| history \| raw
-rw-r--r--	2621	fpb_rdeq.ma	blob \| history \| raw
-rw-r--r--	2392	fpbq.ma	blob \| history \| raw
-rw-r--r--	1633	fpbq_aaa.ma	blob \| history \| raw
-rw-r--r--	2792	fpbq_fpb.ma	blob \| history \| raw
-rw-r--r--	4748	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--	7102	lpr_fquq.ma	blob \| history \| raw
-rw-r--r--	1286	lpr_length.ma	blob \| history \| raw
-rw-r--r--	17132	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	1450	lpr_lpx.ma	blob \| history \| raw
-rw-r--r--	4547	lpx.ma	blob \| history \| raw
-rw-r--r--	3940	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1787	lpx_drops.ma	blob \| history \| raw
-rw-r--r--	4151	lpx_fquq.ma	blob \| history \| raw
-rw-r--r--	1653	lpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1366	lpx_length.ma	blob \| history \| raw
-rw-r--r--	1766	lpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	6807	rpx.ma	blob \| history \| raw
-rw-r--r--	1995	rpx_drops.ma	blob \| history \| raw
-rw-r--r--	2083	rpx_fqup.ma	blob \| history \| raw
-rw-r--r--	6177	rpx_fsle.ma	blob \| history \| raw
-rw-r--r--	1951	rpx_length.ma	blob \| history \| raw
-rw-r--r--	1870	rpx_lpx.ma	blob \| history \| raw
-rw-r--r--	8964	rpx_rdeq.ma	blob \| history \| raw
-rw-r--r--	1908	rpx_rpx.ma	blob \| history \| raw