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

drwxr-xr-x		..
-rw-r--r--	13570	cpy.ma	blob \| history \| raw
-rw-r--r--	6790	cpy_cpy.ma	blob \| history \| raw
-rw-r--r--	14885	cpy_lift.ma	blob \| history \| raw
-rw-r--r--	3430	cpy_nlift.ma	blob \| history \| raw
-rw-r--r--	3461	fqu.ma	blob \| history \| raw
-rw-r--r--	3019	fquq.ma	blob \| history \| raw
-rw-r--r--	2877	fquq_alt.ma	blob \| history \| raw
-rw-r--r--	3364	gget.ma	blob \| history \| raw
-rw-r--r--	1755	gget_gget.ma	blob \| history \| raw
-rw-r--r--	20589	ldrop.ma	blob \| history \| raw
-rw-r--r--	2950	ldrop_append.ma	blob \| history \| raw
-rw-r--r--	10391	ldrop_ldrop.ma	blob \| history \| raw
-rw-r--r--	4435	ldrop_leq.ma	blob \| history \| raw
-rw-r--r--	15041	lift.ma	blob \| history \| raw
-rw-r--r--	11338	lift_lift.ma	blob \| history \| raw
-rw-r--r--	1634	lift_lift_vector.ma	blob \| history \| raw
-rw-r--r--	3133	lift_neg.ma	blob \| history \| raw
-rw-r--r--	2797	lift_vector.ma	blob \| history \| raw
-rw-r--r--	3752	lpx_sn.ma	blob \| history \| raw
-rw-r--r--	5228	lpx_sn_alt.ma	blob \| history \| raw
-rw-r--r--	5042	lpx_sn_ldrop.ma	blob \| history \| raw
-rw-r--r--	2640	lpx_sn_lpx_sn.ma	blob \| history \| raw
-rw-r--r--	5377	lpx_sn_tc.ma	blob \| history \| raw
-rw-r--r--	10162	lsuby.ma	blob \| history \| raw
-rw-r--r--	1779	lsuby_lsuby.ma	blob \| history \| raw