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

drwxr-xr-x		..
-rw-r--r--	4047	aaa_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1982	aaa_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	4199	cnf_cif.etc	blob \| history \| raw
-rw-r--r--	2648	cpcs_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1576	cpcs_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	4436	cpr.etc	blob \| history \| raw
-rw-r--r--	1419	cpr_aaa.etc	blob \| history \| raw
-rw-r--r--	3069	cpr_cpr.etc	blob \| history \| raw
-rw-r--r--	8594	cpr_lift.etc	blob \| history \| raw
-rw-r--r--	2527	cpr_ltpr.etc	blob \| history \| raw
-rw-r--r--	1610	cpr_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1880	cpr_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	2010	cpr_tpss.etc	blob \| history \| raw
-rw-r--r--	1740	cprs_ltpr.etc	blob \| history \| raw
-rw-r--r--	2875	cprs_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1916	cprs_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	2026	cprs_tpss.etc	blob \| history \| raw
-rw-r--r--	2817	dxprs_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1967	dxprs_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	4466	ldrop_lbotr.etc	blob \| history \| raw
-rw-r--r--	3173	ldrop_lpx.etc	blob \| history \| raw
-rw-r--r--	6482	lenv_px.etc	blob \| history \| raw
-rw-r--r--	2084	lfpr.etc	blob \| history \| raw
-rw-r--r--	1426	lfpr_aaa.etc	blob \| history \| raw
-rw-r--r--	2528	lfpr_cpr.etc	blob \| history \| raw
-rw-r--r--	2033	lfpr_lfpr.etc	blob \| history \| raw
-rw-r--r--	1328	lfprs_ltprs.etc	blob \| history \| raw
-rw-r--r--	934	lift.etc	blob \| history \| raw
-rw-r--r--	7505	lsubr.etc	blob \| history \| raw
-rw-r--r--	2980	lsubr_lbotr.etc	blob \| history \| raw
-rw-r--r--	2906	ltpr.etc	blob \| history \| raw
-rw-r--r--	4461	ltpr_aaa.etc	blob \| history \| raw
-rw-r--r--	2241	ltpr_ldrop.etc	blob \| history \| raw
-rw-r--r--	1601	ltpr_ltpr.etc	blob \| history \| raw
-rw-r--r--	1968	ltpr_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1693	ltpr_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	2907	ltpr_tps.etc	blob \| history \| raw
-rw-r--r--	5196	ltpr_tpss.etc	blob \| history \| raw
-rw-r--r--	3597	ltprs.etc	blob \| history \| raw
-rw-r--r--	1767	ltprs_alt.etc	blob \| history \| raw
-rw-r--r--	1358	ltprs_ldrop.etc	blob \| history \| raw
-rw-r--r--	1589	ltprs_ltprs.etc	blob \| history \| raw
-rw-r--r--	12408	ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	11485	ltpss_dx_ldrop.etc	blob \| history \| raw
-rw-r--r--	5457	ltpss_dx_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	2654	ltpss_dx_tps.etc	blob \| history \| raw
-rw-r--r--	5593	ltpss_dx_tpss.etc	blob \| history \| raw
-rw-r--r--	11682	ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	7349	ltpss_sn_alt.etc	blob \| history \| raw
-rw-r--r--	11652	ltpss_sn_ldrop.etc	blob \| history \| raw
-rw-r--r--	4461	ltpss_sn_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	2662	ltpss_sn_tps.etc	blob \| history \| raw
-rw-r--r--	5707	ltpss_sn_tpss.etc	blob \| history \| raw
-rw-r--r--	4802	snv_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	1576	snv_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	7415	ssta_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	3003	ssta_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	2980	sstas_ltpss.etc	blob \| history \| raw
-rw-r--r--	2976	sstas_ltpss_dx.etc	blob \| history \| raw
-rw-r--r--	2971	sstas_ltpss_sn.etc	blob \| history \| raw
-rw-r--r--	7017	sta_ltpss.etc	blob \| history \| raw
-rw-r--r--	10634	tpr.etc	blob \| history \| raw
-rw-r--r--	6103	tpr_lift.etc	blob \| history \| raw
-rw-r--r--	10995	tpr_tpr.etc	blob \| history \| raw
-rw-r--r--	3609	tprs.etc	blob \| history \| raw
-rw-r--r--	2101	tprs_lift.etc	blob \| history \| raw
-rw-r--r--	1966	tprs_tprs.etc	blob \| history \| raw
-rw-r--r--	11696	tps.etc	blob \| history \| raw
-rw-r--r--	16134	tps_lift.etc	blob \| history \| raw
-rw-r--r--	6592	tps_tps.etc	blob \| history \| raw
-rw-r--r--	7326	tpss.etc	blob \| history \| raw
-rw-r--r--	5208	tpss_alt.etc	blob \| history \| raw
-rw-r--r--	9361	tpss_lift.etc	blob \| history \| raw
-rw-r--r--	4981	tpss_tpss.etc	blob \| history \| raw