1.1 --- a/doc-src/TutorialI/Documents/Documents.thy	Tue Jan 15 21:09:01 2002 +0100
     1.2 +++ b/doc-src/TutorialI/Documents/Documents.thy	Tue Jan 15 21:09:31 2002 +0100
     1.3 @@ -737,7 +737,7 @@
     1.4    comments \verb,(,\verb,*,\verb,<,\verb,*,\verb,), and
     1.5    \verb,(,\verb,*,\verb,>,\verb,*,\verb,), tells the document
     1.6    preparation system to suppress these parts; the formal checking of
     1.7 -  the theory is unchanged.
     1.8 +  the theory is unchanged, of course.
     1.9  
    1.10    In this example, we hide a theory's \isakeyword{theory} and
    1.11    \isakeyword{end} brackets:

     2.1 --- a/doc-src/TutorialI/Documents/document/Documents.tex	Tue Jan 15 21:09:01 2002 +0100
     2.2 +++ b/doc-src/TutorialI/Documents/document/Documents.tex	Tue Jan 15 21:09:31 2002 +0100
     2.3 @@ -766,7 +766,7 @@
     2.4    comments \verb,(,\verb,*,\verb,<,\verb,*,\verb,), and
     2.5    \verb,(,\verb,*,\verb,>,\verb,*,\verb,), tells the document
     2.6    preparation system to suppress these parts; the formal checking of
     2.7 -  the theory is unchanged.
     2.8 +  the theory is unchanged, of course.
     2.9  
    2.10    In this example, we hide a theory's \isakeyword{theory} and
    2.11    \isakeyword{end} brackets: