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

drwxr-xr-x		..
-rw-r--r--	1536	cpme.ma	blob \| history \| raw
-rw-r--r--	1691	cpme_aaa.ma	blob \| history \| raw
-rw-r--r--	8025	cpms.ma	blob \| history \| raw
-rw-r--r--	1875	cpms_aaa.ma	blob \| history \| raw
-rw-r--r--	1520	cpms_cnu.ma	blob \| history \| raw
-rw-r--r--	8367	cpms_cpms.ma	blob \| history \| raw
-rw-r--r--	1543	cpms_cpxs.ma	blob \| history \| raw
-rw-r--r--	8974	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--	3351	cpms_lpr.ma	blob \| history \| raw
-rw-r--r--	1424	cpms_lsubr.ma	blob \| history \| raw
-rw-r--r--	1712	cpms_rdeq.ma	blob \| history \| raw
-rw-r--r--	1348	cpre.ma	blob \| history \| raw
-rw-r--r--	1522	cpre_cpms.ma	blob \| history \| raw
-rw-r--r--	2092	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	1755	cpre_csx.ma	blob \| history \| raw
-rw-r--r--	4406	cprs.ma	blob \| history \| raw
-rw-r--r--	1581	cprs_cnr.ma	blob \| history \| raw
-rw-r--r--	1576	cprs_cpr.ma	blob \| history \| raw
-rw-r--r--	3426	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1635	cprs_ctc.ma	blob \| history \| raw
-rw-r--r--	1760	cprs_drops.ma	blob \| history \| raw
-rw-r--r--	1397	cprs_ext.ma	blob \| history \| raw
-rw-r--r--	2607	cprs_lpr.ma	blob \| history \| raw
-rw-r--r--	1508	cpue.ma	blob \| history \| raw
-rw-r--r--	1751	cpue_csx.ma	blob \| history \| raw
-rw-r--r--	7280	cpxs.ma	blob \| history \| raw
-rw-r--r--	1375	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1711	cpxs_cnx.ma	blob \| history \| raw
-rw-r--r--	5097	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	5366	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1399	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1808	cpxs_fdeq.ma	blob \| history \| raw
-rw-r--r--	6883	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--	2594	cpxs_rdeq.ma	blob \| history \| raw
-rw-r--r--	2415	cpxs_tdeq.ma	blob \| history \| raw
-rw-r--r--	4998	cpxs_theq.ma	blob \| history \| raw
-rw-r--r--	8644	cpxs_theq_vector.ma	blob \| history \| raw
-rw-r--r--	4935	csx.ma	blob \| history \| raw
-rw-r--r--	3200	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1590	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	2277	csx_cnx_vector.ma	blob \| history \| raw
-rw-r--r--	3583	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3881	csx_csx.ma	blob \| history \| raw
-rw-r--r--	4332	csx_csx_vector.ma	blob \| history \| raw
-rw-r--r--	2012	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1528	csx_fdeq.ma	blob \| history \| raw
-rw-r--r--	1679	csx_fpbq.ma	blob \| history \| raw
-rw-r--r--	2599	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1481	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1604	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	4748	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1502	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3370	csx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1880	csx_rdeq.ma	blob \| history \| raw
-rw-r--r--	1991	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2451	csx_simple_theq.ma	blob \| history \| raw
-rw-r--r--	2155	csx_vector.ma	blob \| history \| raw
-rw-r--r--	3395	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--	4050	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--	1577	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--	2538	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2105	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	5872	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2259	fsb.ma	blob \| history \| raw
-rw-r--r--	3603	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	4024	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1598	fsb_fdeq.ma	blob \| history \| raw
-rw-r--r--	3481	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	3784	lprs.ma	blob \| history \| raw
-rw-r--r--	1378	lprs_aaa.ma	blob \| history \| raw
-rw-r--r--	5209	lprs_cpms.ma	blob \| history \| raw
-rw-r--r--	3255	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1652	lprs_ctc.ma	blob \| history \| raw
-rw-r--r--	1783	lprs_drops.ma	blob \| history \| raw
-rw-r--r--	1370	lprs_length.ma	blob \| history \| raw
-rw-r--r--	2956	lprs_lpr.ma	blob \| history \| raw
-rw-r--r--	1645	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	1527	lprs_lpxs.ma	blob \| history \| raw
-rw-r--r--	1714	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--	3360	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1759	lpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1700	lpxs_fdeq.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_rdeq.ma	blob \| history \| raw
-rw-r--r--	6796	lsubsx.ma	blob \| history \| raw
-rw-r--r--	1827	lsubsx_lsubsx.ma	blob \| history \| raw
-rw-r--r--	3747	lsubsx_rdsx.ma	blob \| history \| raw
-rw-r--r--	4057	rdsx.ma	blob \| history \| raw
-rw-r--r--	3344	rdsx_csx.ma	blob \| history \| raw
-rw-r--r--	3059	rdsx_drops.ma	blob \| history \| raw
-rw-r--r--	2394	rdsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1921	rdsx_length.ma	blob \| history \| raw
-rw-r--r--	7038	rdsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	1963	rdsx_rdsx.ma	blob \| history \| raw