%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  Project: Formal Verification of Secure Dataplane Protocols
%
%  Module:  document/session_graph.tex (Isabelle/HOL 2020)
%  Author:  Anonymized
%  
%  session graph for PDF document
%
%  Copyright (c) Anonymized 
%  Licence: LGPL
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{figure}[p]
  \begin{center}
    \includegraphics[scale=.5]{session_graph.pdf}
    \caption{Theory dependencies}
  \end{center}
  \label{fig:theorydependencies}
\end{figure}
