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

drwxr-xr-x		..
-rw-r--r--	1186	append_2.ma	blob \| history \| raw
-rw-r--r--	1193	apply_2.ma	blob \| history \| raw
-rw-r--r--	1205	basic_2.ma	blob \| history \| raw
-rw-r--r--	1368	circledE_1.ma	blob \| history \| raw
-rw-r--r--	1191	cocompose_2.ma	blob \| history \| raw
-rw-r--r--	1157	diamond_0.ma	blob \| history \| raw
-rw-r--r--	1183	downarrow_1.ma	blob \| history \| raw
-rw-r--r--	1416	downspoon_2.ma	blob \| history \| raw
-rw-r--r--	1509	downspoonstar_3.ma	blob \| history \| raw
-rw-r--r--	1182	droppred_1.ma	blob \| history \| raw
-rw-r--r--	1207	droppreds_2.ma	blob \| history \| raw
-rw-r--r--	1405	exp_3.ma	blob \| history \| raw
-rw-r--r--	1174	identity_0.ma	blob \| history \| raw
-rw-r--r--	1161	infinity_0.ma	blob \| history \| raw
-rw-r--r--	1150	no_0.ma	blob \| history \| raw
-rw-r--r--	1154	one_0.ma	blob \| history \| raw
-rw-r--r--	1164	onezero_0.ma	blob \| history \| raw
-rw-r--r--	1446	oplusright_3.ma	blob \| history \| raw
-rw-r--r--	1235	semicolon_3.ma	blob \| history \| raw
-rw-r--r--	1251	tuple_4.ma	blob \| history \| raw
-rw-r--r--	1194	uniform_1.ma	blob \| history \| raw
-rw-r--r--	1181	uparrow_1.ma	blob \| history \| raw
-rw-r--r--	1208	uparrowstar_2.ma	blob \| history \| raw
-rw-r--r--	1190	updownarrowstar_1.ma	blob \| history \| raw
-rw-r--r--	1181	upspoon_1.ma	blob \| history \| raw
-rw-r--r--	1208	upspoonstar_2.ma	blob \| history \| raw
-rw-r--r--	1151	yes_0.ma	blob \| history \| raw
-rw-r--r--	1155	zero_0.ma	blob \| history \| raw
-rw-r--r--	1164	zeroone_0.ma	blob \| history \| raw
-rw-r--r--	1165	zerozero_0.ma	blob \| history \| raw