matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground/notation/functions/

drwxr-xr-x		..
-rw-r--r--	1184	append_2.ma	blob \| history \| raw
-rw-r--r--	1191	apply_2.ma	blob \| history \| raw
-rw-r--r--	1360	circledE_1.ma	blob \| history \| raw
-rw-r--r--	1189	cocompose_2.ma	blob \| history \| raw
-rw-r--r--	1155	diamond_0.ma	blob \| history \| raw
-rw-r--r--	1179	downarrow_1.ma	blob \| history \| raw
-rw-r--r--	1426	downdashedarrow_2.ma	blob \| history \| raw
-rw-r--r--	1519	downdashedarrowstar_3.ma	blob \| history \| raw
-rw-r--r--	1179	downspoon_1.ma	blob \| history \| raw
-rw-r--r--	1207	downspoonstar_2.ma	blob \| history \| raw
-rw-r--r--	1206	element_b_2.ma	blob \| history \| raw
-rw-r--r--	1166	element_i_0.ma	blob \| history \| raw
-rw-r--r--	1193	element_u_1.ma	blob \| history \| raw
-rw-r--r--	1403	exp_3.ma	blob \| history \| raw
-rw-r--r--	1156	infinity_0.ma	blob \| history \| raw
-rw-r--r--	1148	no_0.ma	blob \| history \| raw
-rw-r--r--	1152	one_0.ma	blob \| history \| raw
-rw-r--r--	1160	onezero_0.ma	blob \| history \| raw
-rw-r--r--	1444	oplusright_3.ma	blob \| history \| raw
-rw-r--r--	1233	semicolon_3.ma	blob \| history \| raw
-rw-r--r--	1249	tuple_4.ma	blob \| history \| raw
-rw-r--r--	1152	two_0.ma	blob \| history \| raw
-rw-r--r--	1177	uparrow_1.ma	blob \| history \| raw
-rw-r--r--	1204	uparrowstar_2.ma	blob \| history \| raw
-rw-r--r--	1186	updownarrowstar_1.ma	blob \| history \| raw
-rw-r--r--	1177	upspoon_1.ma	blob \| history \| raw
-rw-r--r--	1204	upspoonstar_2.ma	blob \| history \| raw
-rw-r--r--	1149	yes_0.ma	blob \| history \| raw
-rw-r--r--	1153	zero_0.ma	blob \| history \| raw
-rw-r--r--	1160	zeroone_0.ma	blob \| history \| raw
-rw-r--r--	1161	zerozero_0.ma	blob \| history \| raw