
diff -r 2f454e1fd372 -r 69d601df351c doc-src/Ref/introduction.tex
--- a/doc-src/Ref/introduction.tex	Thu Aug 19 13:48:37 1999 +0200
+++ b/doc-src/Ref/introduction.tex	Thu Aug 19 13:56:02 1999 +0200
@@ -202,8 +202,9 @@
   
 \end{ttdescription}
 
-See \S\ref{sec:more-theories} for further information on Isabelle's theory
-loader.
+Note that theories of pre-built logic images (e.g.\ {\HOL}) are marked as
+\emph{finished} and cannot be updated any more.  See \S\ref{sec:more-theories}
+for further information on Isabelle's theory loader.
 
 
 \section{Setting flags}




