| changeset 7282 | 69d601df351c |
| parent 7136 | 71f6eef45713 |
| child 7592 | c29a222cf981 |
--- 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}