1.1 --- a/doc-src/Ref/introduction.tex	Thu Aug 19 13:48:37 1999 +0200
     1.2 +++ b/doc-src/Ref/introduction.tex	Thu Aug 19 13:56:02 1999 +0200
     1.3 @@ -202,8 +202,9 @@
     1.4    
     1.5  \end{ttdescription}
     1.6  
     1.7 -See \S\ref{sec:more-theories} for further information on Isabelle's theory
     1.8 -loader.
     1.9 +Note that theories of pre-built logic images (e.g.\ {\HOL}) are marked as
    1.10 +\emph{finished} and cannot be updated any more.  See \S\ref{sec:more-theories}
    1.11 +for further information on Isabelle's theory loader.
    1.12  
    1.13  
    1.14  \section{Setting flags}