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

drwxr-xr-x		..
-rw-r--r--	6642	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--	6638	cpms_drops.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--	1396	cprs_ext.ma	blob \| history \| raw
-rw-r--r--	2615	cprs_lpr.ma	blob \| history \| raw
-rw-r--r--	6985	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--	5377	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1398	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1834	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--	5176	cpxs_theq.ma	blob \| history \| raw
-rw-r--r--	9068	cpxs_theq_vector.ma	blob \| history \| raw
-rw-r--r--	5092	csx.ma	blob \| history \| raw
-rw-r--r--	3271	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--	2025	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1550	csx_fdeq.ma	blob \| history \| raw
-rw-r--r--	1699	csx_fpbq.ma	blob \| history \| raw
-rw-r--r--	2666	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1537	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1624	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	4874	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--	2481	csx_simple_theq.ma	blob \| history \| raw
-rw-r--r--	2202	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--	4697	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--	2636	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2166	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	6073	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--	3269	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	3801	lprs.ma	blob \| history \| raw
-rw-r--r--	1378	lprs_aaa.ma	blob \| history \| raw
-rw-r--r--	4722	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--	1782	lprs_drops.ma	blob \| history \| raw
-rw-r--r--	1370	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--	1715	lprs_tc.ma	blob \| history \| raw
-rw-r--r--	4015	lpxs.ma	blob \| history \| raw
-rw-r--r--	1442	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	3247	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1758	lpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1736	lpxs_fdeq.ma	blob \| history \| raw
-rw-r--r--	1370	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	3636	lpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1365	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--	3902	lsubsx_rdsx.ma	blob \| history \| raw
-rw-r--r--	4233	rdsx.ma	blob \| history \| raw
-rw-r--r--	3402	rdsx_csx.ma	blob \| history \| raw
-rw-r--r--	3118	rdsx_drops.ma	blob \| history \| raw
-rw-r--r--	2456	rdsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1953	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