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--	1543	cpms_cpxs.ma	blob \| history \| raw
-rw-r--r--	8960	cpms_drops.ma	blob \| history \| raw
-rw-r--r--	2583	cpms_fpbg.ma	blob \| history \| raw
-rw-r--r--	1453	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--	1712	cpms_reqx.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--	2075	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--	1792	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_tweq.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--	7274	cpxs.ma	blob \| history \| raw
-rw-r--r--	1375	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1699	cpxs_cnx.ma	blob \| history \| raw
-rw-r--r--	5126	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	5358	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1399	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1808	cpxs_feqx.ma	blob \| history \| raw
-rw-r--r--	6887	cpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	4300	cpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1369	cpxs_lsubr.ma	blob \| history \| raw
-rw-r--r--	2590	cpxs_reqx.ma	blob \| history \| raw
-rw-r--r--	4942	cpxs_teqo.ma	blob \| history \| raw
-rw-r--r--	8471	cpxs_teqo_vector.ma	blob \| history \| raw
-rw-r--r--	2414	cpxs_teqx.ma	blob \| history \| raw
-rw-r--r--	4724	csx.ma	blob \| history \| raw
-rw-r--r--	2945	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1596	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	2256	csx_cnx_vector.ma	blob \| history \| raw
-rw-r--r--	3352	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3778	csx_csx.ma	blob \| history \| raw
-rw-r--r--	4229	csx_csx_vector.ma	blob \| history \| raw
-rw-r--r--	2024	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1509	csx_feqx.ma	blob \| history \| raw
-rw-r--r--	1660	csx_fpbq.ma	blob \| history \| raw
-rw-r--r--	2538	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1487	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1616	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	4898	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1481	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3615	csx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1840	csx_reqx.ma	blob \| history \| raw
-rw-r--r--	1950	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2395	csx_simple_teqo.ma	blob \| history \| raw
-rw-r--r--	2104	csx_vector.ma	blob \| history \| raw
-rw-r--r--	3270	fpbg.ma	blob \| history \| raw
-rw-r--r--	1861	fpbg_cpxs.ma	blob \| history \| raw
-rw-r--r--	1317	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	4830	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1827	fpbg_fqup.ma	blob \| history \| raw
-rw-r--r--	1582	fpbg_lpxs.ma	blob \| history \| raw
-rw-r--r--	4048	fpbs.ma	blob \| history \| raw
-rw-r--r--	1613	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	2359	fpbs_cpx.ma	blob \| history \| raw
-rw-r--r--	3134	fpbs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1565	fpbs_csx.ma	blob \| history \| raw
-rw-r--r--	1425	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1299	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2537	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2105	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	5870	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2176	fsb.ma	blob \| history \| raw
-rw-r--r--	3166	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	3797	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1597	fsb_feqx.ma	blob \| history \| raw
-rw-r--r--	3480	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	4199	jsx.ma	blob \| history \| raw
-rw-r--r--	2722	jsx_csx.ma	blob \| history \| raw
-rw-r--r--	3173	jsx_drops.ma	blob \| history \| raw
-rw-r--r--	1650	jsx_jsx.ma	blob \| history \| raw
-rw-r--r--	1395	jsx_lsubr.ma	blob \| history \| raw
-rw-r--r--	3628	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--	1529	lprs_lpxs.ma	blob \| history \| raw
-rw-r--r--	1718	lprs_tc.ma	blob \| history \| raw
-rw-r--r--	3996	lpxs.ma	blob \| history \| raw
-rw-r--r--	1442	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	3175	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1759	lpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1700	lpxs_feqx.ma	blob \| history \| raw
-rw-r--r--	1370	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	3620	lpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1366	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2588	lpxs_reqx.ma	blob \| history \| raw
-rw-r--r--	3742	rsx.ma	blob \| history \| raw
-rw-r--r--	5580	rsx_csx.ma	blob \| history \| raw
-rw-r--r--	3009	rsx_drops.ma	blob \| history \| raw
-rw-r--r--	2325	rsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1896	rsx_length.ma	blob \| history \| raw
-rw-r--r--	6247	rsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	1870	rsx_rsx.ma	blob \| history \| raw