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--	1843	cpxs_ffdeq.ma	blob \| history \| raw
-rw-r--r--	7031	cpxs_fqus.ma	blob \| history \| raw
-rw-r--r--	2680	cpxs_lfdeq.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--	2466	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--	5091	csx.ma	blob \| history \| raw
-rw-r--r--	3269	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--	3664	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3976	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--	1555	csx_ffdeq.ma	blob \| history \| raw
-rw-r--r--	1701	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--	1924	csx_lfdeq.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--	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--	2830	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--	4711	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1545	fpbg_fqup.ma	blob \| history \| raw
-rw-r--r--	1606	fpbg_lpxs.ma	blob \| history \| raw
-rw-r--r--	4284	fpbs.ma	blob \| history \| raw
-rw-r--r--	1627	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	2405	fpbs_cpx.ma	blob \| history \| raw
-rw-r--r--	3256	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--	2641	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2166	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	6086	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2298	fsb.ma	blob \| history \| raw
-rw-r--r--	3675	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	4107	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1627	fsb_ffdeq.ma	blob \| history \| raw
-rw-r--r--	3270	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--	1744	lpxs_ffdeq.ma	blob \| history \| raw
-rw-r--r--	1370	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	2681	lpxs_lfdeq.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--	6974	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--	4237	rdsx.ma	blob \| history \| raw
-rw-r--r--	3404	rdsx_csx.ma	blob \| history \| raw
-rw-r--r--	3121	rdsx_drops.ma	blob \| history \| raw
-rw-r--r--	2458	rdsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1957	rdsx_length.ma	blob \| history \| raw
-rw-r--r--	7304	rdsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	2012	rdsx_rdsx.ma	blob \| history \| raw