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

drwxr-xr-x		..
-rw-r--r--	1761	fr2_append.ma	blob \| history \| raw
-rw-r--r--	1542	fr2_map.ma	blob \| history \| raw
-rw-r--r--	3218	fr2_minus.ma	blob \| history \| raw
-rw-r--r--	3021	fr2_nat.ma	blob \| history \| raw
-rw-r--r--	1638	fr2_nat_nat.ma	blob \| history \| raw
-rw-r--r--	2156	fr2_plus.ma	blob \| history \| raw
-rw-r--r--	7457	gr_after.ma	blob \| history \| raw
-rw-r--r--	3909	gr_after_after.ma	blob \| history \| raw
-rw-r--r--	2963	gr_after_after_ist.ma	blob \| history \| raw
-rw-r--r--	1888	gr_after_basic.ma	blob \| history \| raw
-rw-r--r--	3127	gr_after_eq.ma	blob \| history \| raw
-rw-r--r--	3005	gr_after_isi.ma	blob \| history \| raw
-rw-r--r--	2701	gr_after_ist.ma	blob \| history \| raw
-rw-r--r--	2078	gr_after_ist_isi.ma	blob \| history \| raw
-rw-r--r--	1865	gr_after_isu.ma	blob \| history \| raw
-rw-r--r--	2800	gr_after_nat_uni_tls.ma	blob \| history \| raw
-rw-r--r--	4104	gr_after_pat.ma	blob \| history \| raw
-rw-r--r--	1757	gr_after_pat_tls.ma	blob \| history \| raw
-rw-r--r--	3549	gr_after_pat_uni_tls.ma	blob \| history \| raw
-rw-r--r--	2436	gr_after_uni.ma	blob \| history \| raw
-rw-r--r--	1724	gr_basic.ma	blob \| history \| raw
-rw-r--r--	8632	gr_coafter.ma	blob \| history \| raw
-rw-r--r--	1979	gr_coafter_coafter.ma	blob \| history \| raw
-rw-r--r--	2975	gr_coafter_coafter_ist.ma	blob \| history \| raw
-rw-r--r--	3186	gr_coafter_eq.ma	blob \| history \| raw
-rw-r--r--	2303	gr_coafter_isi.ma	blob \| history \| raw
-rw-r--r--	3001	gr_coafter_ist_isf.ma	blob \| history \| raw
-rw-r--r--	2880	gr_coafter_ist_isi.ma	blob \| history \| raw
-rw-r--r--	1633	gr_coafter_isu.ma	blob \| history \| raw
-rw-r--r--	2385	gr_coafter_nat_tls.ma	blob \| history \| raw
-rw-r--r--	2352	gr_coafter_nat_tls_pushs.ma	blob \| history \| raw
-rw-r--r--	2881	gr_coafter_pat_tls.ma	blob \| history \| raw
-rw-r--r--	1568	gr_coafter_uni_pushs.ma	blob \| history \| raw
-rw-r--r--	2856	gr_eq.ma	blob \| history \| raw
-rw-r--r--	3326	gr_fcla.ma	blob \| history \| raw
-rw-r--r--	1779	gr_fcla_eq.ma	blob \| history \| raw
-rw-r--r--	1558	gr_fcla_fcla.ma	blob \| history \| raw
-rw-r--r--	1406	gr_fcla_uni.ma	blob \| history \| raw
-rw-r--r--	1539	gr_id.ma	blob \| history \| raw
-rw-r--r--	1722	gr_id_eq.ma	blob \| history \| raw
-rw-r--r--	2138	gr_isd.ma	blob \| history \| raw
-rw-r--r--	2340	gr_isd_eq.ma	blob \| history \| raw
-rw-r--r--	1659	gr_isd_nexts.ma	blob \| history \| raw
-rw-r--r--	1455	gr_isd_tl.ma	blob \| history \| raw
-rw-r--r--	1416	gr_isd_tls.ma	blob \| history \| raw
-rw-r--r--	2605	gr_isf.ma	blob \| history \| raw
-rw-r--r--	1458	gr_isf_eq.ma	blob \| history \| raw
-rw-r--r--	1307	gr_isf_isu.ma	blob \| history \| raw
-rw-r--r--	1606	gr_isf_pushs.ma	blob \| history \| raw
-rw-r--r--	1617	gr_isf_tl.ma	blob \| history \| raw
-rw-r--r--	1571	gr_isf_tls.ma	blob \| history \| raw
-rw-r--r--	1295	gr_isf_uni.ma	blob \| history \| raw
-rw-r--r--	2119	gr_isi.ma	blob \| history \| raw
-rw-r--r--	2370	gr_isi_eq.ma	blob \| history \| raw
-rw-r--r--	1689	gr_isi_id.ma	blob \| history \| raw
-rw-r--r--	1848	gr_isi_pat.ma	blob \| history \| raw
-rw-r--r--	1603	gr_isi_pushs.ma	blob \| history \| raw
-rw-r--r--	1452	gr_isi_tl.ma	blob \| history \| raw
-rw-r--r--	1413	gr_isi_tls.ma	blob \| history \| raw
-rw-r--r--	1610	gr_isi_uni.ma	blob \| history \| raw
-rw-r--r--	2150	gr_ist.ma	blob \| history \| raw
-rw-r--r--	1504	gr_ist_isi.ma	blob \| history \| raw
-rw-r--r--	3156	gr_ist_ist.ma	blob \| history \| raw
-rw-r--r--	1441	gr_ist_tls.ma	blob \| history \| raw
-rw-r--r--	2253	gr_isu.ma	blob \| history \| raw
-rw-r--r--	1787	gr_isu_tl.ma	blob \| history \| raw
-rw-r--r--	2043	gr_isu_uni.ma	blob \| history \| raw
-rw-r--r--	2425	gr_map.ma	blob \| history \| raw
-rw-r--r--	8011	gr_nat.ma	blob \| history \| raw
-rw-r--r--	2193	gr_nat_basic.ma	blob \| history \| raw
-rw-r--r--	3219	gr_nat_nat.ma	blob \| history \| raw
-rw-r--r--	1596	gr_nat_uni.ma	blob \| history \| raw
-rw-r--r--	1915	gr_nexts.ma	blob \| history \| raw
-rw-r--r--	1435	gr_nexts_eq.ma	blob \| history \| raw
-rw-r--r--	7681	gr_pat.ma	blob \| history \| raw
-rw-r--r--	2068	gr_pat_basic.ma	blob \| history \| raw
-rw-r--r--	2357	gr_pat_eq.ma	blob \| history \| raw
-rw-r--r--	1531	gr_pat_id.ma	blob \| history \| raw
-rw-r--r--	3304	gr_pat_lt.ma	blob \| history \| raw
-rw-r--r--	4999	gr_pat_pat.ma	blob \| history \| raw
-rw-r--r--	1815	gr_pat_pat_id.ma	blob \| history \| raw
-rw-r--r--	3272	gr_pat_tls.ma	blob \| history \| raw
-rw-r--r--	1674	gr_pat_uni.ma	blob \| history \| raw
-rw-r--r--	1914	gr_pushs.ma	blob \| history \| raw
-rw-r--r--	1383	gr_pushs_eq.ma	blob \| history \| raw
-rw-r--r--	5013	gr_sand.ma	blob \| history \| raw
-rw-r--r--	2919	gr_sand_eq.ma	blob \| history \| raw
-rw-r--r--	5016	gr_sdj.ma	blob \| history \| raw
-rw-r--r--	2453	gr_sdj_eq.ma	blob \| history \| raw
-rw-r--r--	2035	gr_sdj_isi.ma	blob \| history \| raw
-rw-r--r--	5476	gr_sle.ma	blob \| history \| raw
-rw-r--r--	2597	gr_sle_eq.ma	blob \| history \| raw
-rw-r--r--	1830	gr_sle_isd.ma	blob \| history \| raw
-rw-r--r--	1828	gr_sle_isi.ma	blob \| history \| raw
-rw-r--r--	1441	gr_sle_pushs.ma	blob \| history \| raw
-rw-r--r--	1509	gr_sle_sle.ma	blob \| history \| raw
-rw-r--r--	1433	gr_sle_tls.ma	blob \| history \| raw
-rw-r--r--	12380	gr_sor.ma	blob \| history \| raw
-rw-r--r--	4073	gr_sor_coafter_ist_isf.ma	blob \| history \| raw
-rw-r--r--	2943	gr_sor_eq.ma	blob \| history \| raw
-rw-r--r--	3610	gr_sor_fcla.ma	blob \| history \| raw
-rw-r--r--	2593	gr_sor_isf.ma	blob \| history \| raw
-rw-r--r--	3233	gr_sor_isi.ma	blob \| history \| raw
-rw-r--r--	2675	gr_sor_sle.ma	blob \| history \| raw
-rw-r--r--	5790	gr_sor_sor.ma	blob \| history \| raw
-rw-r--r--	1461	gr_sor_sor_sle.ma	blob \| history \| raw
-rw-r--r--	1466	gr_sor_tls.ma	blob \| history \| raw
-rw-r--r--	1782	gr_tl.ma	blob \| history \| raw
-rw-r--r--	4018	gr_tl_eq.ma	blob \| history \| raw
-rw-r--r--	1739	gr_tl_eq_eq.ma	blob \| history \| raw
-rw-r--r--	1836	gr_tls.ma	blob \| history \| raw
-rw-r--r--	1435	gr_tls_eq.ma	blob \| history \| raw
-rw-r--r--	1980	gr_tls_nexts_eq.ma	blob \| history \| raw
-rw-r--r--	1428	gr_tls_pushs.ma	blob \| history \| raw
-rw-r--r--	1954	gr_tls_pushs_eq.ma	blob \| history \| raw
-rw-r--r--	1643	gr_uni.ma	blob \| history \| raw
-rw-r--r--	2548	gr_uni_eq.ma	blob \| history \| raw