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	gr_after.ma	blob \| history \| raw
-rw-r--r--	3873	gr_after_after.ma	blob \| history \| raw
-rw-r--r--	2922	gr_after_after_ist.ma	blob \| history \| raw
-rw-r--r--	1855	gr_after_basic.ma	blob \| history \| raw
-rw-r--r--	3142	gr_after_eq.ma	blob \| history \| raw
-rw-r--r--	2973	gr_after_isi.ma	blob \| history \| raw
-rw-r--r--	2715	gr_after_ist.ma	blob \| history \| raw
-rw-r--r--	2033	gr_after_ist_isi.ma	blob \| history \| raw
-rw-r--r--	1829	gr_after_isu.ma	blob \| history \| raw
-rw-r--r--	2806	gr_after_nat_uni_tls.ma	blob \| history \| raw
-rw-r--r--	4067	gr_after_pat.ma	blob \| history \| raw
-rw-r--r--	1713	gr_after_pat_tls.ma	blob \| history \| raw
-rw-r--r--	3537	gr_after_pat_uni_tls.ma	blob \| history \| raw
-rw-r--r--	2397	gr_after_uni.ma	blob \| history \| raw
-rw-r--r--	1696	gr_basic.ma	blob \| history \| raw
-rw-r--r--	8587	gr_coafter.ma	blob \| history \| raw
-rw-r--r--	1940	gr_coafter_coafter.ma	blob \| history \| raw
-rw-r--r--	2931	gr_coafter_coafter_ist.ma	blob \| history \| raw
-rw-r--r--	3198	gr_coafter_eq.ma	blob \| history \| raw
-rw-r--r--	2264	gr_coafter_isi.ma	blob \| history \| raw
-rw-r--r--	3000	gr_coafter_ist_isf.ma	blob \| history \| raw
-rw-r--r--	2879	gr_coafter_ist_isi.ma	blob \| history \| raw
-rw-r--r--	1586	gr_coafter_isu.ma	blob \| history \| raw
-rw-r--r--	2338	gr_coafter_nat_tls.ma	blob \| history \| raw
-rw-r--r--	2287	gr_coafter_nat_tls_pushs.ma	blob \| history \| raw
-rw-r--r--	2834	gr_coafter_pat_tls.ma	blob \| history \| raw
-rw-r--r--	1516	gr_coafter_uni_pushs.ma	blob \| history \| raw
-rw-r--r--	2830	gr_eq.ma	blob \| history \| raw
-rw-r--r--	3285	gr_fcla.ma	blob \| history \| raw
-rw-r--r--	1733	gr_fcla_eq.ma	blob \| history \| raw
-rw-r--r--	1517	gr_fcla_fcla.ma	blob \| history \| raw
-rw-r--r--	1389	gr_fcla_uni.ma	blob \| history \| raw
-rw-r--r--	1502	gr_id.ma	blob \| history \| raw
-rw-r--r--	1798	gr_id_eq.ma	blob \| history \| raw
-rw-r--r--	2104	gr_isd.ma	blob \| history \| raw
-rw-r--r--	2316	gr_isd_eq.ma	blob \| history \| raw
-rw-r--r--	1625	gr_isd_nexts.ma	blob \| history \| raw
-rw-r--r--	1421	gr_isd_tl.ma	blob \| history \| raw
-rw-r--r--	1382	gr_isd_tls.ma	blob \| history \| raw
-rw-r--r--	2624	gr_isf.ma	blob \| history \| raw
-rw-r--r--	1528	gr_isf_eq.ma	blob \| history \| raw
-rw-r--r--	1376	gr_isf_isu.ma	blob \| history \| raw
-rw-r--r--	1625	gr_isf_pushs.ma	blob \| history \| raw
-rw-r--r--	1636	gr_isf_tl.ma	blob \| history \| raw
-rw-r--r--	1596	gr_isf_tls.ma	blob \| history \| raw
-rw-r--r--	1338	gr_isf_uni.ma	blob \| history \| raw
-rw-r--r--	2087	gr_isi.ma	blob \| history \| raw
-rw-r--r--	2311	gr_isi_eq.ma	blob \| history \| raw
-rw-r--r--	1639	gr_isi_id.ma	blob \| history \| raw
-rw-r--r--	1877	gr_isi_pat.ma	blob \| history \| raw
-rw-r--r--	1623	gr_isi_pushs.ma	blob \| history \| raw
-rw-r--r--	1420	gr_isi_tl.ma	blob \| history \| raw
-rw-r--r--	1381	gr_isi_tls.ma	blob \| history \| raw
-rw-r--r--	1578	gr_isi_uni.ma	blob \| history \| raw
-rw-r--r--	2118	gr_ist.ma	blob \| history \| raw
-rw-r--r--	1472	gr_ist_isi.ma	blob \| history \| raw
-rw-r--r--	3124	gr_ist_ist.ma	blob \| history \| raw
-rw-r--r--	1409	gr_ist_tls.ma	blob \| history \| raw
-rw-r--r--	2219	gr_isu.ma	blob \| history \| raw
-rw-r--r--	1750	gr_isu_tl.ma	blob \| history \| raw
-rw-r--r--	2035	gr_isu_uni.ma	blob \| history \| raw
-rw-r--r--	2425	gr_map.ma	blob \| history \| raw
-rw-r--r--	8003	gr_nat.ma	blob \| history \| raw
-rw-r--r--	2191	gr_nat_basic.ma	blob \| history \| raw
-rw-r--r--	3219	gr_nat_nat.ma	blob \| history \| raw
-rw-r--r--	1588	gr_nat_uni.ma	blob \| history \| raw
-rw-r--r--	1888	gr_nexts.ma	blob \| history \| raw
-rw-r--r--	1406	gr_nexts_eq.ma	blob \| history \| raw
-rw-r--r--	7647	gr_pat.ma	blob \| history \| raw
-rw-r--r--	2040	gr_pat_basic.ma	blob \| history \| raw
-rw-r--r--	2425	gr_pat_eq.ma	blob \| history \| raw
-rw-r--r--	1560	gr_pat_id.ma	blob \| history \| raw
-rw-r--r--	3256	gr_pat_lt.ma	blob \| history \| raw
-rw-r--r--	4965	gr_pat_pat.ma	blob \| history \| raw
-rw-r--r--	1781	gr_pat_pat_id.ma	blob \| history \| raw
-rw-r--r--	3238	gr_pat_tls.ma	blob \| history \| raw
-rw-r--r--	1640	gr_pat_uni.ma	blob \| history \| raw
-rw-r--r--	1887	gr_pushs.ma	blob \| history \| raw
-rw-r--r--	1407	gr_pushs_eq.ma	blob \| history \| raw
-rw-r--r--	4976	gr_sand.ma	blob \| history \| raw
-rw-r--r--	2933	gr_sand_eq.ma	blob \| history \| raw
-rw-r--r--	4990	gr_sdj.ma	blob \| history \| raw
-rw-r--r--	2422	gr_sdj_eq.ma	blob \| history \| raw
-rw-r--r--	2009	gr_sdj_isi.ma	blob \| history \| raw
-rw-r--r--	5453	gr_sle.ma	blob \| history \| raw
-rw-r--r--	2566	gr_sle_eq.ma	blob \| history \| raw
-rw-r--r--	1807	gr_sle_isd.ma	blob \| history \| raw
-rw-r--r--	1805	gr_sle_isi.ma	blob \| history \| raw
-rw-r--r--	1418	gr_sle_pushs.ma	blob \| history \| raw
-rw-r--r--	1486	gr_sle_sle.ma	blob \| history \| raw
-rw-r--r--	1410	gr_sle_tls.ma	blob \| history \| raw
-rw-r--r--	12350	gr_sor.ma	blob \| history \| raw
-rw-r--r--	4025	gr_sor_coafter_ist_isf.ma	blob \| history \| raw
-rw-r--r--	2908	gr_sor_eq.ma	blob \| history \| raw
-rw-r--r--	3577	gr_sor_fcla.ma	blob \| history \| raw
-rw-r--r--	2563	gr_sor_isf.ma	blob \| history \| raw
-rw-r--r--	3204	gr_sor_isi.ma	blob \| history \| raw
-rw-r--r--	2645	gr_sor_sle.ma	blob \| history \| raw
-rw-r--r--	5760	gr_sor_sor.ma	blob \| history \| raw
-rw-r--r--	1416	gr_sor_sor_sle.ma	blob \| history \| raw
-rw-r--r--	1436	gr_sor_tls.ma	blob \| history \| raw
-rw-r--r--	1764	gr_tl.ma	blob \| history \| raw
-rw-r--r--	4082	gr_tl_eq.ma	blob \| history \| raw
-rw-r--r--	1710	gr_tl_eq_eq.ma	blob \| history \| raw
-rw-r--r--	1798	gr_tls.ma	blob \| history \| raw
-rw-r--r--	1406	gr_tls_eq.ma	blob \| history \| raw
-rw-r--r--	1933	gr_tls_nexts_eq.ma	blob \| history \| raw
-rw-r--r--	1401	gr_tls_pushs.ma	blob \| history \| raw
-rw-r--r--	1907	gr_tls_pushs_eq.ma	blob \| history \| raw
-rw-r--r--	1613	gr_uni.ma	blob \| history \| raw
-rw-r--r--	2551	gr_uni_eq.ma	blob \| history \| raw