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--	1203	basic_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--	1408	downspoon_2.ma	blob \| history \| raw
-rw-r--r--	1501	downspoonstar_3.ma	blob \| history \| raw
-rw-r--r--	1178	droppred_1.ma	blob \| history \| raw
-rw-r--r--	1203	droppreds_2.ma	blob \| history \| raw
-rw-r--r--	1403	exp_3.ma	blob \| history \| raw
-rw-r--r--	1170	identity_0.ma	blob \| history \| raw
-rw-r--r--	1157	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--	1192	uniform_1.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