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

drwxr-xr-x		..
-rw-r--r--	5731	drops.ma	blob \| history \| raw
-rw-r--r--	1983	drops_drop.ma	blob \| history \| raw
-rw-r--r--	1457	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--	2142	frees.ma	blob \| history \| raw
-rw-r--r--	13813	lifts.ma	blob \| history \| raw
-rw-r--r--	4980	lifts_lifts.ma	blob \| history \| raw
-rw-r--r--	2603	lifts_lifts_vector.ma	blob \| history \| raw
-rw-r--r--	1725	lifts_simple.ma	blob \| history \| raw
-rw-r--r--	4867	lifts_vector.ma	blob \| history \| raw
-rw-r--r--	1407	lifts_weight.ma	blob \| history \| raw
-rw-r--r--	7144	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--	7789	lleq_drop.ma	blob \| history \| raw
-rw-r--r--	3693	lleq_fqus.ma	blob \| history \| raw
-rw-r--r--	2084	lleq_lleq.ma	blob \| history \| raw
-rw-r--r--	2277	lleq_llor.ma	blob \| history \| raw
-rw-r--r--	1973	lleq_lreq.ma	blob \| history \| raw
-rw-r--r--	10431	llpx_sn.ma	blob \| history \| raw
-rw-r--r--	3582	llpx_sn_alt.ma	blob \| history \| raw
-rw-r--r--	13045	llpx_sn_alt_rec.ma	blob \| history \| raw
-rw-r--r--	23128	llpx_sn_drop.ma	blob \| history \| raw
-rw-r--r--	2173	llpx_sn_frees.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--	3084	llpx_sn_lreq.ma	blob \| history \| raw
-rw-r--r--	1532	llpx_sn_tc.ma	blob \| history \| raw