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--	5319	cpys_alt.ma	blob \| history \| raw
-rw-r--r--	6713	cpys_cpys.ma	blob \| history \| raw
-rw-r--r--	11496	cpys_lift.ma	blob \| history \| raw
-rw-r--r--	4518	drops.ma	blob \| history \| raw
-rw-r--r--	1990	drops_drop.ma	blob \| history \| raw
-rw-r--r--	1465	drops_drops.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--	5569	fqup.ma	blob \| history \| raw
-rw-r--r--	1283	fqup_fqup.ma	blob \| history \| raw
-rw-r--r--	4332	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--	7302	frees.ma	blob \| history \| raw
-rw-r--r--	2831	frees_append.ma	blob \| history \| raw
-rw-r--r--	1873	frees_leq.ma	blob \| history \| raw
-rw-r--r--	7591	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--	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--	7118	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--	7799	lleq_drop.ma	blob \| history \| raw
-rw-r--r--	3693	lleq_fqus.ma	blob \| history \| raw
-rw-r--r--	1963	lleq_leq.ma	blob \| history \| raw
-rw-r--r--	1734	lleq_lleq.ma	blob \| history \| raw
-rw-r--r--	2277	lleq_llor.ma	blob \| history \| raw
-rw-r--r--	2124	llor.ma	blob \| history \| raw
-rw-r--r--	4186	llor_alt.ma	blob \| history \| raw
-rw-r--r--	2298	llor_drop.ma	blob \| history \| raw
-rw-r--r--	10448	llpx_sn.ma	blob \| history \| raw
-rw-r--r--	3471	llpx_sn_alt.ma	blob \| history \| raw
-rw-r--r--	13033	llpx_sn_alt_rec.ma	blob \| history \| raw
-rw-r--r--	23155	llpx_sn_drop.ma	blob \| history \| raw
-rw-r--r--	2173	llpx_sn_frees.ma	blob \| history \| raw
-rw-r--r--	3063	llpx_sn_leq.ma	blob \| history \| raw
-rw-r--r--	1915	llpx_sn_llor.ma	blob \| history \| raw
-rw-r--r--	2011	llpx_sn_lpx_sn.ma	blob \| history \| raw
-rw-r--r--	1532	llpx_sn_tc.ma	blob \| history \| raw