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

drwxr-xr-x		..
-rw-r--r--	7448	cpys.ma	blob \| history \| raw
-rw-r--r--	5321	cpys_alt.ma	blob \| history \| raw
-rw-r--r--	6715	cpys_cpys.ma	blob \| history \| raw
-rw-r--r--	11498	cpys_lift.ma	blob \| history \| raw
-rw-r--r--	5646	drops.ma	blob \| history \| raw
-rw-r--r--	1982	drops_drop.ma	blob \| history \| raw
-rw-r--r--	1458	drops_drops.ma	blob \| history \| raw
-rw-r--r--	2035	fleq.ma	blob \| history \| raw
-rw-r--r--	1895	fleq_fleq.ma	blob \| history \| raw
-rw-r--r--	5571	fqup.ma	blob \| history \| raw
-rw-r--r--	1284	fqup_fqup.ma	blob \| history \| raw
-rw-r--r--	4335	fqus.ma	blob \| history \| raw
-rw-r--r--	3209	fqus_alt.ma	blob \| history \| raw
-rw-r--r--	1284	fqus_fqus.ma	blob \| history \| raw
-rw-r--r--	7306	frees.ma	blob \| history \| raw
-rw-r--r--	2833	frees_append.ma	blob \| history \| raw
-rw-r--r--	7593	frees_lift.ma	blob \| history \| raw
-rw-r--r--	1884	frees_lreq.ma	blob \| history \| raw
-rw-r--r--	5953	lifts.ma	blob \| history \| raw
-rw-r--r--	3261	lifts_lift.ma	blob \| history \| raw
-rw-r--r--	1956	lifts_lift_vector.ma	blob \| history \| raw
-rw-r--r--	1468	lifts_lifts.ma	blob \| history \| raw
-rw-r--r--	2603	lifts_vector.ma	blob \| history \| raw
-rw-r--r--	7146	lleq.ma	blob \| history \| raw
-rw-r--r--	2237	lleq_alt.ma	blob \| history \| raw
-rw-r--r--	3122	lleq_alt_rec.ma	blob \| history \| raw
-rw-r--r--	7801	lleq_drop.ma	blob \| history \| raw
-rw-r--r--	3695	lleq_fqus.ma	blob \| history \| raw
-rw-r--r--	2085	lleq_lleq.ma	blob \| history \| raw
-rw-r--r--	2280	lleq_llor.ma	blob \| history \| raw
-rw-r--r--	1975	lleq_lreq.ma	blob \| history \| raw
-rw-r--r--	2126	llor.ma	blob \| history \| raw
-rw-r--r--	4188	llor_alt.ma	blob \| history \| raw
-rw-r--r--	2301	llor_drop.ma	blob \| history \| raw
-rw-r--r--	10453	llpx_sn.ma	blob \| history \| raw
-rw-r--r--	3473	llpx_sn_alt.ma	blob \| history \| raw
-rw-r--r--	13036	llpx_sn_alt_rec.ma	blob \| history \| raw
-rw-r--r--	23158	llpx_sn_drop.ma	blob \| history \| raw
-rw-r--r--	2175	llpx_sn_frees.ma	blob \| history \| raw
-rw-r--r--	1918	llpx_sn_llor.ma	blob \| history \| raw
-rw-r--r--	2013	llpx_sn_lpx_sn.ma	blob \| history \| raw
-rw-r--r--	3086	llpx_sn_lreq.ma	blob \| history \| raw
-rw-r--r--	1533	llpx_sn_tc.ma	blob \| history \| raw
-rw-r--r--	3190	mr2.ma	blob \| history \| raw
-rw-r--r--	3524	mr2_minus.ma	blob \| history \| raw
-rw-r--r--	1565	mr2_mr2.ma	blob \| history \| raw
-rw-r--r--	1762	mr2_plus.ma	blob \| history \| raw