%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  Project: Development of Security Protocols by Refinement
%
%  Module:  document/session_graph.tex (Isabelle/HOL 20016-1)
%  ID:      $Id: session_graph.tex 134928 2017-05-24 18:17:29Z csprenge $
%  Author:  Christoph Sprenger, ETH Zurich <sprenger@inf.ethz.ch>
%  
%  session graph for PDF document
%
%  Copyright (c) 2009-2017 Christoph Sprenger 
%  Licence: LGPL
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{figure}[p]
  \begin{center}
    \includegraphics[scale=.45]{session_graph}
    \caption{Theory dependencies}
  \end{center}
\end{figure}
