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

drwxr-xr-x		..
-rw-r--r--	13709	cpy.ma	blob \| history \| raw
-rw-r--r--	6793	cpy_cpy.ma	blob \| history \| raw
-rw-r--r--	14953	cpy_lift.ma	blob \| history \| raw
-rw-r--r--	3403	cpy_nlift.ma	blob \| history \| raw
-rw-r--r--	21460	drop.ma	blob \| history \| raw
-rw-r--r--	2974	drop_append.ma	blob \| history \| raw
-rw-r--r--	10655	drop_drop.ma	blob \| history \| raw
-rw-r--r--	4437	drop_lreq.ma	blob \| history \| raw
-rw-r--r--	4126	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--	3430	gget.ma	blob \| history \| raw
-rw-r--r--	1774	gget_gget.ma	blob \| history \| raw
-rw-r--r--	16384	lift.ma	blob \| history \| raw
-rw-r--r--	11577	lift_lift.ma	blob \| history \| raw
-rw-r--r--	1643	lift_lift_vector.ma	blob \| history \| raw
-rw-r--r--	3199	lift_neg.ma	blob \| history \| raw
-rw-r--r--	2794	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--	5027	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--	10169	lsuby.ma	blob \| history \| raw
-rw-r--r--	1779	lsuby_lsuby.ma	blob \| history \| raw