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

drwxr-xr-x		..
-rw-r--r--	6908	cpms.ma	blob \| history \| raw
-rw-r--r--	1458	cpms_aaa.ma	blob \| history \| raw
-rw-r--r--	8081	cpms_cpms.ma	blob \| history \| raw
-rw-r--r--	1546	cpms_cpxs.ma	blob \| history \| raw
-rw-r--r--	7190	cpms_drops.ma	blob \| history \| raw
-rw-r--r--	1537	cpms_fpbg.ma	blob \| history \| raw
-rw-r--r--	1458	cpms_fpbs.ma	blob \| history \| raw
-rw-r--r--	3371	cpms_lpr.ma	blob \| history \| raw
-rw-r--r--	1424	cpms_lsubr.ma	blob \| history \| raw
-rw-r--r--	4640	cprs.ma	blob \| history \| raw
-rw-r--r--	1576	cprs_cpr.ma	blob \| history \| raw
-rw-r--r--	3437	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1635	cprs_ctc.ma	blob \| history \| raw
-rw-r--r--	1762	cprs_drops.ma	blob \| history \| raw
-rw-r--r--	1397	cprs_ext.ma	blob \| history \| raw
-rw-r--r--	2615	cprs_lpr.ma	blob \| history \| raw
-rw-r--r--	7329	cpxs.ma	blob \| history \| raw
-rw-r--r--	1375	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1497	cpxs_cnx.ma	blob \| history \| raw
-rw-r--r--	5127	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	5378	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1399	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1835	cpxs_fdeq.ma	blob \| history \| raw
-rw-r--r--	7031	cpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	4328	cpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1369	cpxs_lsubr.ma	blob \| history \| raw
-rw-r--r--	2662	cpxs_rdeq.ma	blob \| history \| raw
-rw-r--r--	2464	cpxs_tdeq.ma	blob \| history \| raw
-rw-r--r--	5183	cpxs_theq.ma	blob \| history \| raw
-rw-r--r--	9076	cpxs_theq_vector.ma	blob \| history \| raw
-rw-r--r--	5093	csx.ma	blob \| history \| raw
-rw-r--r--	3272	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1842	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	2676	csx_cnx_vector.ma	blob \| history \| raw
-rw-r--r--	3665	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3975	csx_csx.ma	blob \| history \| raw
-rw-r--r--	4412	csx_csx_vector.ma	blob \| history \| raw
-rw-r--r--	2026	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1551	csx_fdeq.ma	blob \| history \| raw
-rw-r--r--	1699	csx_fpbq.ma	blob \| history \| raw
-rw-r--r--	2667	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1538	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1625	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	4832	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1516	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3429	csx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1915	csx_rdeq.ma	blob \| history \| raw
-rw-r--r--	2015	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2483	csx_simple_theq.ma	blob \| history \| raw
-rw-r--r--	2203	csx_vector.ma	blob \| history \| raw
-rw-r--r--	2827	fpbg.ma	blob \| history \| raw
-rw-r--r--	1631	fpbg_cpxs.ma	blob \| history \| raw
-rw-r--r--	1321	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	4699	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1545	fpbg_fqup.ma	blob \| history \| raw
-rw-r--r--	1601	fpbg_lpxs.ma	blob \| history \| raw
-rw-r--r--	4272	fpbs.ma	blob \| history \| raw
-rw-r--r--	1627	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	2402	fpbs_cpx.ma	blob \| history \| raw
-rw-r--r--	3254	fpbs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1597	fpbs_csx.ma	blob \| history \| raw
-rw-r--r--	1441	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1303	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2638	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2167	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	6075	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2299	fsb.ma	blob \| history \| raw
-rw-r--r--	3677	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	4108	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1623	fsb_fdeq.ma	blob \| history \| raw
-rw-r--r--	3590	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	3802	lprs.ma	blob \| history \| raw
-rw-r--r--	1378	lprs_aaa.ma	blob \| history \| raw
-rw-r--r--	4836	lprs_cpms.ma	blob \| history \| raw
-rw-r--r--	3274	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1654	lprs_ctc.ma	blob \| history \| raw
-rw-r--r--	1783	lprs_drops.ma	blob \| history \| raw
-rw-r--r--	1371	lprs_length.ma	blob \| history \| raw
-rw-r--r--	2970	lprs_lpr.ma	blob \| history \| raw
-rw-r--r--	1645	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	1529	lprs_lpxs.ma	blob \| history \| raw
-rw-r--r--	1716	lprs_tc.ma	blob \| history \| raw
-rw-r--r--	4016	lpxs.ma	blob \| history \| raw
-rw-r--r--	1442	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	3370	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1759	lpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1737	lpxs_fdeq.ma	blob \| history \| raw
-rw-r--r--	1371	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	3637	lpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1366	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2663	lpxs_rdeq.ma	blob \| history \| raw
-rw-r--r--	6973	lsubsx.ma	blob \| history \| raw
-rw-r--r--	1847	lsubsx_lsubsx.ma	blob \| history \| raw
-rw-r--r--	3889	lsubsx_rdsx.ma	blob \| history \| raw
-rw-r--r--	4234	rdsx.ma	blob \| history \| raw
-rw-r--r--	3402	rdsx_csx.ma	blob \| history \| raw
-rw-r--r--	3119	rdsx_drops.ma	blob \| history \| raw
-rw-r--r--	2457	rdsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1954	rdsx_length.ma	blob \| history \| raw
-rw-r--r--	7271	rdsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	2004	rdsx_rdsx.ma	blob \| history \| raw