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

drwxr-xr-x		..
-rw-r--r--	13567	cpy.ma	blob \| history \| raw
-rw-r--r--	6789	cpy_cpy.ma	blob \| history \| raw
-rw-r--r--	14866	cpy_lift.ma	blob \| history \| raw
-rw-r--r--	3429	cpy_nlift.ma	blob \| history \| raw
-rw-r--r--	20394	drop.ma	blob \| history \| raw
-rw-r--r--	2931	drop_append.ma	blob \| history \| raw
-rw-r--r--	10302	drop_drop.ma	blob \| history \| raw
-rw-r--r--	4408	drop_leq.ma	blob \| history \| raw
-rw-r--r--	3457	fqu.ma	blob \| history \| raw
-rw-r--r--	3017	fquq.ma	blob \| history \| raw
-rw-r--r--	2876	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--	15680	lift.ma	blob \| history \| raw
-rw-r--r--	11339	lift_lift.ma	blob \| history \| raw
-rw-r--r--	1635	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--	5221	lpx_sn_alt.ma	blob \| history \| raw
-rw-r--r--	5018	lpx_sn_drop.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--	10151	lsuby.ma	blob \| history \| raw
-rw-r--r--	1779	lsuby_lsuby.ma	blob \| history \| raw