| changeset 17159 | d5060118122e |
| parent 13871 | 26e5f5e624f6 |
| child 19672 | 9be07d531694 |
--- a/src/HOL/NumberTheory/document/root.tex Sun Aug 28 16:04:42 2005 +0200 +++ b/src/HOL/NumberTheory/document/root.tex Sun Aug 28 16:04:43 2005 +0200 @@ -45,7 +45,7 @@ \tableofcontents \begin{center} - \includegraphics[scale=0.7]{session_graph} + \includegraphics[scale=0.5]{session_graph} \end{center} \newpage