--- a/doc-src/System/symbols.tex Tue Dec 11 15:36:28 2001 +0100
+++ b/doc-src/System/symbols.tex Tue Dec 11 15:58:32 2001 +0100
@@ -22,7 +22,9 @@
preparation.
\begin{center}
- \input{syms}
+ \begin{isabellebody}
+ \input{syms}
+ \end{isabellebody}
\end{center}
%%% Local Variables: