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

drwxr-xr-x		..
-rw-r--r--	1538	cpme.ma	blob \| history \| raw
-rw-r--r--	1691	cpme_aaa.ma	blob \| history \| raw
-rw-r--r--	8098	cpms.ma	blob \| history \| raw
-rw-r--r--	1876	cpms_aaa.ma	blob \| history \| raw
-rw-r--r--	8438	cpms_cpms.ma	blob \| history \| raw
-rw-r--r--	1546	cpms_cpxs.ma	blob \| history \| raw
-rw-r--r--	4040	cpms_cwhx.ma	blob \| history \| raw
-rw-r--r--	9012	cpms_drops.ma	blob \| history \| raw
-rw-r--r--	2609	cpms_fpbg.ma	blob \| history \| raw
-rw-r--r--	1458	cpms_fpbs.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--	1714	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--	2094	cpre_cpre.ma	blob \| history \| raw
-rw-r--r--	1757	cpre_csx.ma	blob \| history \| raw
-rw-r--r--	4429	cprs.ma	blob \| history \| raw
-rw-r--r--	1583	cprs_cnr.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--	1397	cprs_ext.ma	blob \| history \| raw
-rw-r--r--	2615	cprs_lpr.ma	blob \| history \| raw
-rw-r--r--	7329	cpxs.ma	blob \| history \| raw
-rw-r--r--	1375	cpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	1483	cpxs_cnx.ma	blob \| history \| raw
-rw-r--r--	5127	cpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	5378	cpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1399	cpxs_ext.ma	blob \| history \| raw
-rw-r--r--	1818	cpxs_fdeq.ma	blob \| history \| raw
-rw-r--r--	6963	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--	2600	cpxs_rdeq.ma	blob \| history \| raw
-rw-r--r--	2420	cpxs_tdeq.ma	blob \| history \| raw
-rw-r--r--	5010	cpxs_theq.ma	blob \| history \| raw
-rw-r--r--	8656	cpxs_theq_vector.ma	blob \| history \| raw
-rw-r--r--	4958	csx.ma	blob \| history \| raw
-rw-r--r--	3216	csx_aaa.ma	blob \| history \| raw
-rw-r--r--	1593	csx_cnx.ma	blob \| history \| raw
-rw-r--r--	2216	csx_cnx_vector.ma	blob \| history \| raw
-rw-r--r--	3596	csx_cpxs.ma	blob \| history \| raw
-rw-r--r--	3896	csx_csx.ma	blob \| history \| raw
-rw-r--r--	4341	csx_csx_vector.ma	blob \| history \| raw
-rw-r--r--	2012	csx_drops.ma	blob \| history \| raw
-rw-r--r--	1534	csx_fdeq.ma	blob \| history \| raw
-rw-r--r--	1685	csx_fpbq.ma	blob \| history \| raw
-rw-r--r--	2623	csx_fqus.ma	blob \| history \| raw
-rw-r--r--	1494	csx_gcp.ma	blob \| history \| raw
-rw-r--r--	1610	csx_gcr.ma	blob \| history \| raw
-rw-r--r--	4761	csx_lpx.ma	blob \| history \| raw
-rw-r--r--	1505	csx_lpxs.ma	blob \| history \| raw
-rw-r--r--	3380	csx_lsubr.ma	blob \| history \| raw
-rw-r--r--	1884	csx_rdeq.ma	blob \| history \| raw
-rw-r--r--	1995	csx_simple.ma	blob \| history \| raw
-rw-r--r--	2456	csx_simple_theq.ma	blob \| history \| raw
-rw-r--r--	2161	csx_vector.ma	blob \| history \| raw
-rw-r--r--	3137	fpbg.ma	blob \| history \| raw
-rw-r--r--	1875	fpbg_cpxs.ma	blob \| history \| raw
-rw-r--r--	1317	fpbg_fpbg.ma	blob \| history \| raw
-rw-r--r--	4914	fpbg_fpbs.ma	blob \| history \| raw
-rw-r--r--	1843	fpbg_fqup.ma	blob \| history \| raw
-rw-r--r--	1587	fpbg_lpxs.ma	blob \| history \| raw
-rw-r--r--	4143	fpbs.ma	blob \| history \| raw
-rw-r--r--	1619	fpbs_aaa.ma	blob \| history \| raw
-rw-r--r--	2369	fpbs_cpx.ma	blob \| history \| raw
-rw-r--r--	3189	fpbs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1583	fpbs_csx.ma	blob \| history \| raw
-rw-r--r--	1433	fpbs_fpb.ma	blob \| history \| raw
-rw-r--r--	1299	fpbs_fpbs.ma	blob \| history \| raw
-rw-r--r--	2586	fpbs_fqup.ma	blob \| history \| raw
-rw-r--r--	2137	fpbs_fqus.ma	blob \| history \| raw
-rw-r--r--	5974	fpbs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2271	fsb.ma	blob \| history \| raw
-rw-r--r--	3632	fsb_aaa.ma	blob \| history \| raw
-rw-r--r--	4049	fsb_csx.ma	blob \| history \| raw
-rw-r--r--	1606	fsb_fdeq.ma	blob \| history \| raw
-rw-r--r--	3523	fsb_fpbg.ma	blob \| history \| raw
-rw-r--r--	3802	lprs.ma	blob \| history \| raw
-rw-r--r--	1378	lprs_aaa.ma	blob \| history \| raw
-rw-r--r--	5213	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--	1783	lprs_drops.ma	blob \| history \| raw
-rw-r--r--	1371	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--	1716	lprs_tc.ma	blob \| history \| raw
-rw-r--r--	4016	lpxs.ma	blob \| history \| raw
-rw-r--r--	1442	lpxs_aaa.ma	blob \| history \| raw
-rw-r--r--	3370	lpxs_cpxs.ma	blob \| history \| raw
-rw-r--r--	1759	lpxs_drops.ma	blob \| history \| raw
-rw-r--r--	1710	lpxs_fdeq.ma	blob \| history \| raw
-rw-r--r--	1371	lpxs_length.ma	blob \| history \| raw
-rw-r--r--	3637	lpxs_lpx.ma	blob \| history \| raw
-rw-r--r--	1366	lpxs_lpxs.ma	blob \| history \| raw
-rw-r--r--	2593	lpxs_rdeq.ma	blob \| history \| raw
-rw-r--r--	6821	lsubsx.ma	blob \| history \| raw
-rw-r--r--	1829	lsubsx_lsubsx.ma	blob \| history \| raw
-rw-r--r--	3757	lsubsx_rdsx.ma	blob \| history \| raw
-rw-r--r--	4074	rdsx.ma	blob \| history \| raw
-rw-r--r--	3353	rdsx_csx.ma	blob \| history \| raw
-rw-r--r--	3066	rdsx_drops.ma	blob \| history \| raw
-rw-r--r--	2400	rdsx_fqup.ma	blob \| history \| raw
-rw-r--r--	1924	rdsx_length.ma	blob \| history \| raw
-rw-r--r--	7072	rdsx_lpxs.ma	blob \| history \| raw
-rw-r--r--	1968	rdsx_rdsx.ma	blob \| history \| raw