scale dependency graph in document

--- a/src/HOLCF/document/root.tex	Fri Dec 12 12:14:02 2008 +0100
+++ b/src/HOLCF/document/root.tex	Tue Dec 16 09:10:09 2008 -0800
@@ -1,5 +1,5 @@
 
-% $Id$
+% HOLCF/document/root.tex
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx,isabelle,isabellesym,latexsym}
@@ -21,7 +21,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.7]{session_graph}
+  \includegraphics[scale=0.5]{session_graph}
 \end{center}
 
 \newpage