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

drwxr-xr-x		..
-rw-r--r--	3147	cnuw.ma	blob \| history \| raw
-rw-r--r--	4468	cnuw_cnuw.ma	blob \| history \| raw
-rw-r--r--	2886	cnuw_drops.ma	blob \| history \| raw
-rw-r--r--	1921	cnuw_simple.ma	blob \| history \| raw
-rw-r--r--	2029	cpmre.ma	blob \| history \| raw
-rw-r--r--	1690	cpmre_aaa.ma	blob \| history \| raw
-rw-r--r--	8416	cpms.ma	blob \| history \| raw
-rw-r--r--	2522	cpms_aaa.ma	blob \| history \| raw
-rw-r--r--	8082	cpms_cpms.ma	blob \| history \| raw
-rw-r--r--	1550	cpms_cpxs.ma	blob \| history \| raw
-rw-r--r--	8960	cpms_drops.ma	blob \| history \| raw
-rw-r--r--	2616	cpms_fpbg.ma	blob \| history \| raw
-rw-r--r--	1450	cpms_fpbs.ma	blob \| history \| raw
-rw-r--r--	3359	cpms_lpr.ma	blob \| history \| raw
-rw-r--r--	1424	cpms_lsubr.ma	blob \| history \| raw
-rw-r--r--	1792	cpms_reqg.ma	blob \| history \| raw
-rw-r--r--	2912	cpmuwe.ma	blob \| history \| raw
-rw-r--r--	1629	cpmuwe_cpmuwe.ma	blob \| history \| raw
-rw-r--r--	2071	cpmuwe_csx.ma	blob \| history \| raw
-rw-r--r--	1168	cprre.ma	blob \| history \| raw
-rw-r--r--	1521	cprre_cpms.ma	blob \| history \| raw
-rw-r--r--	2127	cprre_cprre.ma	blob \| history \| raw
-rw-r--r--	1789	cprre_csx.ma	blob \| history \| raw
-rw-r--r--	4452	cprs.ma	blob \| history \| raw
-rw-r--r--	1579	cprs_cnr.ma	blob \| history \| raw
-rw-r--r--	1576	cprs_cpr.ma	blob \| history \| raw
-rw-r--r--	3479	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1633	cprs_ctc.ma	blob \| history \| raw
-rw-r--r--	1762	cprs_drops.ma	blob \| history \| raw
-rw-r--r--	1387	cprs_ext.ma	blob \| history \| raw
-rw-r--r--	2554	cprs_lpr.ma	blob \| history \| raw
-rw-r--r--	1892	cprs_teqw.ma	blob \| history \| raw
-rw-r--r--	6125	cpts.ma	blob \| history \| raw
-rw-r--r--	2538	cpts_aaa.ma	blob \| history \| raw
-rw-r--r--	1798	cpts_cpms.ma	blob \| history \| raw
-rw-r--r--	8310	cpts_drops.ma	blob \| history \| raw
-rw-r--r--	6703	cpxs.ma	blob \| history \| raw
-rw-r--r--	1377	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1676	cpxs_cnx.ma	blob \| history \| raw
-rw-r--r--	4772	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	5121	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1370	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1857	cpxs_feqg.ma	blob \| history \| raw
-rw-r--r--	6599	cpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	4159	cpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1363	cpxs_lsubr.ma	blob \| history \| raw
-rw-r--r--	2508	cpxs_reqg.ma	blob \| history \| raw
-rw-r--r--	2384	cpxs_teqg.ma	blob \| history \| raw
-rw-r--r--	4855	cpxs_teqo.ma	blob \| history \| raw
-rw-r--r--	8381	cpxs_teqo_vector.ma	blob \| history \| raw
-rw-r--r--	4591	csx.ma	blob \| history \| raw
-rw-r--r--	2884	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1579	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	2229	csx_cnx_vector.ma	blob \| history \| raw
-rw-r--r--	3004	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3796	csx_csx.ma	blob \| history \| raw
-rw-r--r--	4174	csx_csx_vector.ma	blob \| history \| raw
-rw-r--r--	2006	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1562	csx_feqg.ma	blob \| history \| raw
-rw-r--r--	1757	csx_fpb.ma	blob \| history \| raw
-rw-r--r--	2486	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1472	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1597	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	4811	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1465	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3543	csx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1908	csx_reqg.ma	blob \| history \| raw
-rw-r--r--	1931	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2371	csx_simple_teqo.ma	blob \| history \| raw
-rw-r--r--	2064	csx_vector.ma	blob \| history \| raw
-rw-r--r--	2936	fpbg.ma	blob \| history \| raw
-rw-r--r--	1561	fpbg_cpm.ma	blob \| history \| raw
-rw-r--r--	1908	fpbg_cpxs.ma	blob \| history \| raw
-rw-r--r--	3795	fpbg_feqg.ma	blob \| history \| raw
-rw-r--r--	1315	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	2205	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1625	fpbg_fqup.ma	blob \| history \| raw
-rw-r--r--	1946	fpbg_fqus.ma	blob \| history \| raw
-rw-r--r--	1626	fpbg_lpxs.ma	blob \| history \| raw
-rw-r--r--	2159	fpbs.ma	blob \| history \| raw
-rw-r--r--	1607	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	2562	fpbs_cpx.ma	blob \| history \| raw
-rw-r--r--	3120	fpbs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1545	fpbs_csx.ma	blob \| history \| raw
-rw-r--r--	2688	fpbs_feqg.ma	blob \| history \| raw
-rw-r--r--	2259	fpbs_fpbc.ma	blob \| history \| raw
-rw-r--r--	1297	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2915	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2053	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	1739	fpbs_lpx.ma	blob \| history \| raw
-rw-r--r--	5802	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2336	fsb.ma	blob \| history \| raw
-rw-r--r--	3082	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	3965	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1728	fsb_feqg.ma	blob \| history \| raw
-rw-r--r--	3501	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	4086	jsx.ma	blob \| history \| raw
-rw-r--r--	2695	jsx_csx.ma	blob \| history \| raw
-rw-r--r--	3132	jsx_drops.ma	blob \| history \| raw
-rw-r--r--	1641	jsx_jsx.ma	blob \| history \| raw
-rw-r--r--	1385	jsx_lsubr.ma	blob \| history \| raw
-rw-r--r--	3585	jsx_rsx.ma	blob \| history \| raw
-rw-r--r--	3814	lprs.ma	blob \| history \| raw
-rw-r--r--	1386	lprs_aaa.ma	blob \| history \| raw
-rw-r--r--	4906	lprs_cpms.ma	blob \| history \| raw
-rw-r--r--	3293	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1655	lprs_ctc.ma	blob \| history \| raw
-rw-r--r--	1783	lprs_drops.ma	blob \| history \| raw
-rw-r--r--	1372	lprs_length.ma	blob \| history \| raw
-rw-r--r--	2876	lprs_lpr.ma	blob \| history \| raw
-rw-r--r--	1651	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	1531	lprs_lpxs.ma	blob \| history \| raw
-rw-r--r--	1718	lprs_tc.ma	blob \| history \| raw
-rw-r--r--	3595	lpxs.ma	blob \| history \| raw
-rw-r--r--	1439	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	3127	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1759	lpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1728	lpxs_feqg.ma	blob \| history \| raw
-rw-r--r--	1369	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	3373	lpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1360	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2685	lpxs_reqg.ma	blob \| history \| raw
-rw-r--r--	3672	rsx.ma	blob \| history \| raw
-rw-r--r--	5468	rsx_csx.ma	blob \| history \| raw
-rw-r--r--	2962	rsx_drops.ma	blob \| history \| raw
-rw-r--r--	2316	rsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1869	rsx_length.ma	blob \| history \| raw
-rw-r--r--	6257	rsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	1892	rsx_rsx.ma	blob \| history \| raw