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

drwxr-xr-x		..
-rw-r--r--	1368	circledE_1.ma	blob \| history \| raw
-rw-r--r--	1157	diamond_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--	1182	uparrow_1.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