matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground/relocation/

drwxr-xr-x		..
-rw-r--r--	1747	fr2_append.ma	blob \| history \| raw
-rw-r--r--	1542	fr2_map.ma	blob \| history \| raw
-rw-r--r--	3188	fr2_minus.ma	blob \| history \| raw
-rw-r--r--	2989	fr2_nat.ma	blob \| history \| raw
-rw-r--r--	1606	fr2_nat_nat.ma	blob \| history \| raw
-rw-r--r--	2153	fr2_plus.ma	blob \| history \| raw
-rw-r--r--	7421	pr_after.ma	blob \| history \| raw
-rw-r--r--	3873	pr_after_after.ma	blob \| history \| raw
-rw-r--r--	2922	pr_after_after_ist.ma	blob \| history \| raw
-rw-r--r--	1855	pr_after_basic.ma	blob \| history \| raw
-rw-r--r--	3142	pr_after_eq.ma	blob \| history \| raw
-rw-r--r--	2973	pr_after_isi.ma	blob \| history \| raw
-rw-r--r--	2715	pr_after_ist.ma	blob \| history \| raw
-rw-r--r--	2033	pr_after_ist_isi.ma	blob \| history \| raw
-rw-r--r--	1829	pr_after_isu.ma	blob \| history \| raw
-rw-r--r--	2806	pr_after_nat_uni_tls.ma	blob \| history \| raw
-rw-r--r--	4067	pr_after_pat.ma	blob \| history \| raw
-rw-r--r--	1713	pr_after_pat_tls.ma	blob \| history \| raw
-rw-r--r--	3537	pr_after_pat_uni_tls.ma	blob \| history \| raw
-rw-r--r--	2397	pr_after_uni.ma	blob \| history \| raw
-rw-r--r--	1696	pr_basic.ma	blob \| history \| raw
-rw-r--r--	8587	pr_coafter.ma	blob \| history \| raw
-rw-r--r--	1940	pr_coafter_coafter.ma	blob \| history \| raw
-rw-r--r--	2931	pr_coafter_coafter_ist.ma	blob \| history \| raw
-rw-r--r--	3198	pr_coafter_eq.ma	blob \| history \| raw
-rw-r--r--	2264	pr_coafter_isi.ma	blob \| history \| raw
-rw-r--r--	3000	pr_coafter_ist_isf.ma	blob \| history \| raw
-rw-r--r--	2879	pr_coafter_ist_isi.ma	blob \| history \| raw
-rw-r--r--	1586	pr_coafter_isu.ma	blob \| history \| raw
-rw-r--r--	2338	pr_coafter_nat_tls.ma	blob \| history \| raw
-rw-r--r--	2287	pr_coafter_nat_tls_pushs.ma	blob \| history \| raw
-rw-r--r--	2834	pr_coafter_pat_tls.ma	blob \| history \| raw
-rw-r--r--	1516	pr_coafter_uni_pushs.ma	blob \| history \| raw
-rw-r--r--	2262	pr_compose.ma	blob \| history \| raw
-rw-r--r--	2830	pr_eq.ma	blob \| history \| raw
-rw-r--r--	3285	pr_fcla.ma	blob \| history \| raw
-rw-r--r--	1733	pr_fcla_eq.ma	blob \| history \| raw
-rw-r--r--	1517	pr_fcla_fcla.ma	blob \| history \| raw
-rw-r--r--	1389	pr_fcla_uni.ma	blob \| history \| raw
-rw-r--r--	1502	pr_id.ma	blob \| history \| raw
-rw-r--r--	1798	pr_id_eq.ma	blob \| history \| raw
-rw-r--r--	2104	pr_isd.ma	blob \| history \| raw
-rw-r--r--	2316	pr_isd_eq.ma	blob \| history \| raw
-rw-r--r--	1625	pr_isd_nexts.ma	blob \| history \| raw
-rw-r--r--	1421	pr_isd_tl.ma	blob \| history \| raw
-rw-r--r--	1382	pr_isd_tls.ma	blob \| history \| raw
-rw-r--r--	2624	pr_isf.ma	blob \| history \| raw
-rw-r--r--	1528	pr_isf_eq.ma	blob \| history \| raw
-rw-r--r--	1376	pr_isf_isu.ma	blob \| history \| raw
-rw-r--r--	1625	pr_isf_pushs.ma	blob \| history \| raw
-rw-r--r--	1636	pr_isf_tl.ma	blob \| history \| raw
-rw-r--r--	1596	pr_isf_tls.ma	blob \| history \| raw
-rw-r--r--	1338	pr_isf_uni.ma	blob \| history \| raw
-rw-r--r--	2087	pr_isi.ma	blob \| history \| raw
-rw-r--r--	2311	pr_isi_eq.ma	blob \| history \| raw
-rw-r--r--	1639	pr_isi_id.ma	blob \| history \| raw
-rw-r--r--	1877	pr_isi_pat.ma	blob \| history \| raw
-rw-r--r--	1623	pr_isi_pushs.ma	blob \| history \| raw
-rw-r--r--	1420	pr_isi_tl.ma	blob \| history \| raw
-rw-r--r--	1381	pr_isi_tls.ma	blob \| history \| raw
-rw-r--r--	1578	pr_isi_uni.ma	blob \| history \| raw
-rw-r--r--	2118	pr_ist.ma	blob \| history \| raw
-rw-r--r--	1472	pr_ist_isi.ma	blob \| history \| raw
-rw-r--r--	3124	pr_ist_ist.ma	blob \| history \| raw
-rw-r--r--	1409	pr_ist_tls.ma	blob \| history \| raw
-rw-r--r--	2219	pr_isu.ma	blob \| history \| raw
-rw-r--r--	1750	pr_isu_tl.ma	blob \| history \| raw
-rw-r--r--	2035	pr_isu_uni.ma	blob \| history \| raw
-rw-r--r--	2425	pr_map.ma	blob \| history \| raw
-rw-r--r--	8003	pr_nat.ma	blob \| history \| raw
-rw-r--r--	2191	pr_nat_basic.ma	blob \| history \| raw
-rw-r--r--	3219	pr_nat_nat.ma	blob \| history \| raw
-rw-r--r--	1588	pr_nat_uni.ma	blob \| history \| raw
-rw-r--r--	1888	pr_nexts.ma	blob \| history \| raw
-rw-r--r--	1406	pr_nexts_eq.ma	blob \| history \| raw
-rw-r--r--	7647	pr_pat.ma	blob \| history \| raw
-rw-r--r--	2040	pr_pat_basic.ma	blob \| history \| raw
-rw-r--r--	2425	pr_pat_eq.ma	blob \| history \| raw
-rw-r--r--	1560	pr_pat_id.ma	blob \| history \| raw
-rw-r--r--	3256	pr_pat_lt.ma	blob \| history \| raw
-rw-r--r--	4965	pr_pat_pat.ma	blob \| history \| raw
-rw-r--r--	1781	pr_pat_pat_id.ma	blob \| history \| raw
-rw-r--r--	3238	pr_pat_tls.ma	blob \| history \| raw
-rw-r--r--	1640	pr_pat_uni.ma	blob \| history \| raw
-rw-r--r--	1887	pr_pushs.ma	blob \| history \| raw
-rw-r--r--	1407	pr_pushs_eq.ma	blob \| history \| raw
-rw-r--r--	4976	pr_sand.ma	blob \| history \| raw
-rw-r--r--	2933	pr_sand_eq.ma	blob \| history \| raw
-rw-r--r--	4990	pr_sdj.ma	blob \| history \| raw
-rw-r--r--	2422	pr_sdj_eq.ma	blob \| history \| raw
-rw-r--r--	2009	pr_sdj_isi.ma	blob \| history \| raw
-rw-r--r--	5453	pr_sle.ma	blob \| history \| raw
-rw-r--r--	2566	pr_sle_eq.ma	blob \| history \| raw
-rw-r--r--	1807	pr_sle_isd.ma	blob \| history \| raw
-rw-r--r--	1805	pr_sle_isi.ma	blob \| history \| raw
-rw-r--r--	1418	pr_sle_pushs.ma	blob \| history \| raw
-rw-r--r--	1486	pr_sle_sle.ma	blob \| history \| raw
-rw-r--r--	1410	pr_sle_tls.ma	blob \| history \| raw
-rw-r--r--	12350	pr_sor.ma	blob \| history \| raw
-rw-r--r--	4025	pr_sor_coafter_ist_isf.ma	blob \| history \| raw
-rw-r--r--	2908	pr_sor_eq.ma	blob \| history \| raw
-rw-r--r--	3577	pr_sor_fcla.ma	blob \| history \| raw
-rw-r--r--	2563	pr_sor_isf.ma	blob \| history \| raw
-rw-r--r--	3204	pr_sor_isi.ma	blob \| history \| raw
-rw-r--r--	2645	pr_sor_sle.ma	blob \| history \| raw
-rw-r--r--	5760	pr_sor_sor.ma	blob \| history \| raw
-rw-r--r--	1416	pr_sor_sor_sle.ma	blob \| history \| raw
-rw-r--r--	1436	pr_sor_tls.ma	blob \| history \| raw
-rw-r--r--	1766	pr_tl.ma	blob \| history \| raw
-rw-r--r--	4082	pr_tl_eq.ma	blob \| history \| raw
-rw-r--r--	1710	pr_tl_eq_eq.ma	blob \| history \| raw
-rw-r--r--	1806	pr_tls.ma	blob \| history \| raw
-rw-r--r--	1406	pr_tls_eq.ma	blob \| history \| raw
-rw-r--r--	1933	pr_tls_nexts_eq.ma	blob \| history \| raw
-rw-r--r--	1401	pr_tls_pushs.ma	blob \| history \| raw
-rw-r--r--	1907	pr_tls_pushs_eq.ma	blob \| history \| raw
-rw-r--r--	1613	pr_uni.ma	blob \| history \| raw
-rw-r--r--	2551	pr_uni_eq.ma	blob \| history \| raw