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

drwxr-xr-x		..
-rw-r--r--	7446	cpys.ma	blob \| history \| raw
-rw-r--r--	5321	cpys_alt.ma	blob \| history \| raw
-rw-r--r--	6714	cpys_cpys.ma	blob \| history \| raw
-rw-r--r--	11499	cpys_lift.ma	blob \| history \| raw
-rw-r--r--	2032	fleq.ma	blob \| history \| raw
-rw-r--r--	1893	fleq_fleq.ma	blob \| history \| raw
-rw-r--r--	5572	fqup.ma	blob \| history \| raw
-rw-r--r--	1283	fqup_fqup.ma	blob \| history \| raw
-rw-r--r--	4333	fqus.ma	blob \| history \| raw
-rw-r--r--	3207	fqus_alt.ma	blob \| history \| raw
-rw-r--r--	1283	fqus_fqus.ma	blob \| history \| raw
-rw-r--r--	7306	frees.ma	blob \| history \| raw
-rw-r--r--	1875	frees_leq.ma	blob \| history \| raw
-rw-r--r--	7603	frees_lift.ma	blob \| history \| raw
-rw-r--r--	3228	gr2.ma	blob \| history \| raw
-rw-r--r--	1571	gr2_gr2.ma	blob \| history \| raw
-rw-r--r--	3612	gr2_minus.ma	blob \| history \| raw
-rw-r--r--	1767	gr2_plus.ma	blob \| history \| raw
-rw-r--r--	4552	ldrops.ma	blob \| history \| raw
-rw-r--r--	2004	ldrops_ldrop.ma	blob \| history \| raw
-rw-r--r--	1470	ldrops_ldrops.ma	blob \| history \| raw
-rw-r--r--	6039	lifts.ma	blob \| history \| raw
-rw-r--r--	3156	lifts_lift.ma	blob \| history \| raw
-rw-r--r--	1883	lifts_lift_vector.ma	blob \| history \| raw
-rw-r--r--	1464	lifts_lifts.ma	blob \| history \| raw
-rw-r--r--	2619	lifts_vector.ma	blob \| history \| raw
-rw-r--r--	7121	lleq.ma	blob \| history \| raw
-rw-r--r--	2235	lleq_alt.ma	blob \| history \| raw
-rw-r--r--	3120	lleq_alt_rec.ma	blob \| history \| raw
-rw-r--r--	3697	lleq_fqus.ma	blob \| history \| raw
-rw-r--r--	7800	lleq_ldrop.ma	blob \| history \| raw
-rw-r--r--	1963	lleq_leq.ma	blob \| history \| raw
-rw-r--r--	1735	lleq_lleq.ma	blob \| history \| raw
-rw-r--r--	2278	lleq_llor.ma	blob \| history \| raw
-rw-r--r--	2089	llor.ma	blob \| history \| raw
-rw-r--r--	2760	llor_etc.ma	blob \| history \| raw
-rw-r--r--	1687	llor_ldrop.ma	blob \| history \| raw
-rw-r--r--	10461	llpx_sn.ma	blob \| history \| raw
-rw-r--r--	3484	llpx_sn_alt.ma	blob \| history \| raw
-rw-r--r--	13045	llpx_sn_alt_rec.ma	blob \| history \| raw
-rw-r--r--	2175	llpx_sn_frees.ma	blob \| history \| raw
-rw-r--r--	23234	llpx_sn_ldrop.ma	blob \| history \| raw
-rw-r--r--	3066	llpx_sn_leq.ma	blob \| history \| raw
-rw-r--r--	1916	llpx_sn_llor.ma	blob \| history \| raw
-rw-r--r--	2015	llpx_sn_lpx_sn.ma	blob \| history \| raw
-rw-r--r--	1533	llpx_sn_tc.ma	blob \| history \| raw