doc-src/System/symbols.tex
changeset 12465 47f79ad602d9
parent 12464 f9d3c92eae4d
child 12619 ddfe8083fef2
     1.1 --- a/doc-src/System/symbols.tex	Tue Dec 11 15:36:28 2001 +0100
     1.2 +++ b/doc-src/System/symbols.tex	Tue Dec 11 15:58:32 2001 +0100
     1.3 @@ -22,7 +22,9 @@
     1.4  preparation.
     1.5  
     1.6  \begin{center}
     1.7 -  \input{syms}  
     1.8 +  \begin{isabellebody}
     1.9 +    \input{syms}  
    1.10 +  \end{isabellebody}
    1.11  \end{center}
    1.12  
    1.13  %%% Local Variables: