All_Examples.thy

(*****************************************************************************
 * ESPL --- an embedded security protocol logic
 *          http://people.inf.ethz.ch/meiersi/espl/
 *
 *   Copyright (c) 2009-2011, Simon Meier, ETH Zurich, Switzerland
 *
 * Extension to compromising adversaries:
 *
 *   Copyright (c) 2010-2011, Martin Schaub, ETH Zurich, Switzerland
 *
 * All rights reserved. See file LICENCE for more information.
 ******************************************************************************)
theory All_Examples
imports
  "CR_paper_acm"
  "NS_Public_acm"
  "PFS_acm"
  "TLS_acm" 
  "wPFS_acm"
begin

text{* 
  Runs all examples that verify protocols against dynamically compromising
  adversaries.
*}

end