%*******************************************************************************
%
%  Project: Development of Security Protocols by Refinement  
%
%  Module: CryptoLib/document/isapreamble.tex
%  ID:     $Id: isapreamble.tex 134924 2017-05-24 17:23:15Z csprenge $
%  Author:  Christoph Sprenger, ETH Zurich <sprenger@inf.ethz.ch>
%
%  definitions for LaTeX documents generated by Isabelle
%
%  Copyright (C) 2009 Christoph Sprenger 
%  Licence: LGPL
%
%*******************************************************************************)


% additional packages
\usepackage{graphicx}       % to display session graph
