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

drwxr-xr-x		..
-rw-r--r--	1190	at_2.ma	blob \| history \| raw
-rw-r--r--	1199	atsection_2.ma	blob \| history \| raw
-rw-r--r--	1198	atsharp_2.ma	blob \| history \| raw
-rw-r--r--	1190	black_circle_2.ma	blob \| history \| raw
-rw-r--r--	1197	black_halfcircleleft_2.ma	blob \| history \| raw
-rw-r--r--	1199	black_halfcircleright_2.ma	blob \| history \| raw
-rw-r--r--	1246	black_halfcircleright_3.ma	blob \| history \| raw
-rw-r--r--	1381	circled_element_e_1.ma	blob \| history \| raw
-rw-r--r--	1189	cocompose_2.ma	blob \| history \| raw
-rw-r--r--	1179	downarrow_1.ma	blob \| history \| raw
-rw-r--r--	1426	downharpoonleft_2.ma	blob \| history \| raw
-rw-r--r--	1429	downharpoonright_2.ma	blob \| history \| raw
-rw-r--r--	1522	downharpoonrightstar_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--	1157	element_e_0.ma	blob \| history \| raw
-rw-r--r--	1166	element_i_0.ma	blob \| history \| raw
-rw-r--r--	1192	element_t_1.ma	blob \| history \| raw
-rw-r--r--	1193	element_u_1.ma	blob \| history \| raw
-rw-r--r--	1425	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--	1429	oplus_3.ma	blob \| history \| raw
-rw-r--r--	1439	oplusleft_3.ma	blob \| history \| raw
-rw-r--r--	1444	oplusright_3.ma	blob \| history \| raw
-rw-r--r--	1195	powerclass_1.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--	1186	verticalbars_1.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