scyther-proof-0.6.0.0: data/isabelle/ROOT

session ESPL = HOL +
  theories "src/ESPLogic"