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

drwxr-xr-x		..
-rw-r--r--	1194	apply_2.ma	blob \| history \| raw
-rw-r--r--	1211	basic_2.ma	blob \| history \| raw
-rw-r--r--	1368	circledE_1.ma	blob \| history \| raw
-rw-r--r--	1193	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--	1202	droppreds_2.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--	1164	onezero_0.ma	blob \| history \| raw
-rw-r--r--	1446	oplusright_3.ma	blob \| history \| raw
-rw-r--r--	1231	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--	1182	uparrow_1.ma	blob \| history \| raw
-rw-r--r--	1204	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--	1204	upspoonstar_2.ma	blob \| history \| raw
-rw-r--r--	1151	yes_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