1.1 --- a/src/Doc/ProgProve/Basics.thy	Tue Mar 12 22:44:03 2013 +0100
     1.2 +++ b/src/Doc/ProgProve/Basics.thy	Wed Mar 13 10:15:01 2013 +0100
     1.3 @@ -138,8 +138,8 @@
     1.4  enclosing theory language as the \concept{outer syntax}.
     1.5  \sem
     1.6  \begin{warn}
     1.7 -For reasons of readability, we almost never show the quotation marks in this
     1.8 -book. Consult the accompanying theory files to see where they need to go.
     1.9 +In the Isabelle part of the book we show all quotation marks.
    1.10 +In the Semantics part we omit them for reasons of readability.
    1.11  \end{warn}
    1.12  \endsem
    1.13  %