# HG changeset patch
# User nipkow
# Date 1453200414 -3600
# Node ID 7f5579b12b0ab116c7fef1db0321ed5c96adaa9a
# Parent  6acae6430fccfdf092e6a4a3411a5941f085719b
tuned

diff -r 6acae6430fcc -r 7f5579b12b0a src/Doc/Main/Main_Doc.thy
--- a/src/Doc/Main/Main_Doc.thy	Tue Jan 19 11:36:09 2016 +0100
+++ b/src/Doc/Main/Main_Doc.thy	Tue Jan 19 11:46:54 2016 +0100
@@ -100,8 +100,8 @@
 @{text[source]"x \<sqsubset> y"} & @{term"x < y"}\\
 @{text[source]"x \<sqinter> y"} & @{term"inf x y"}\\
 @{text[source]"x \<squnion> y"} & @{term"sup x y"}\\
-@{text[source]"\<Sqinter>A"} & @{term"Sup A"}\\
-@{text[source]"\<Squnion>A"} & @{term"Inf A"}\\
+@{text[source]"\<Sqinter>A"} & @{term"Inf A"}\\
+@{text[source]"\<Squnion>A"} & @{term"Sup A"}\\
 @{text[source]"\<top>"} & @{term[source] top}\\
 @{text[source]"\<bottom>"} & @{term[source] bot}\\
 \end{supertabular}