src/Doc/Main/Main_Doc.thy
changeset 61943 7fba644ed827
parent 61424 c3658c18b7bc
child 61995 74709e9c4f17
     1.1 --- a/src/Doc/Main/Main_Doc.thy	Sun Dec 27 21:46:36 2015 +0100
     1.2 +++ b/src/Doc/Main/Main_Doc.thy	Sun Dec 27 22:07:17 2015 +0100
     1.3 @@ -228,7 +228,7 @@
     1.4  \begin{tabular}{@ {} l @ {\quad$\equiv$\quad} ll @ {}}
     1.5  @{term"Pair a b"} & @{term[source]"Pair a b"}\\
     1.6  @{term"case_prod (\<lambda>x y. t)"} & @{term[source]"case_prod (\<lambda>x y. t)"}\\
     1.7 -@{term"A <*> B"} &  @{text"Sigma A (\<lambda>\<^raw:\_>. B)"} & (\verb$<*>$)
     1.8 +@{term"A \<times> B"} &  @{text"Sigma A (\<lambda>\<^raw:\_>. B)"}
     1.9  \end{tabular}
    1.10  
    1.11  Pairs may be nested. Nesting to the right is printed as a tuple,