ESPLogic.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 ESPLogic
imports
  "ESPLogic/Capabilities"
  "ESPLogic/InferenceRules"
  "ESPLogic/WeakTyping"
  "ESPLogic/Automation"
  "ESPLogic/Syntax"
  "ESPLogic/Unify"
begin

text{* This is the top-level theory node to be imported by
  users of the embedded security protocol logic.
*}

end