renamed 'src' to tools and 'scyther-ac-proof' to 'dh-proto-proof'

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76353 7e91533c-85bf-0310-9ad9-9686b5989d42
partial cleanup of scyther-proof examples

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76402 7e91533c-85bf-0310-9ad9-9686b5989d42
fixed configuration files: some renamings were not pulled through

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76403 7e91533c-85bf-0310-9ad9-9686b5989d42
cleaned up 3G and comparison_to_OFMC protocols

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76458 7e91533c-85bf-0310-9ad9-9686b5989d42
finished cleanup of scyther-proof examples

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76459 7e91533c-85bf-0310-9ad9-9686b5989d42
extended help message with info about examples and required tools

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76460 7e91533c-85bf-0310-9ad9-9686b5989d42
distribute isabelle theories together with scyther-proof

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76461 7e91533c-85bf-0310-9ad9-9686b5989d42
remove old command line parsing code from scyther-proof

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76462 7e91533c-85bf-0310-9ad9-9686b5989d42
simplified deployment of scyther-proof and ESPL theories

  - checks that the 'dot' tool is present and references home page if
    not.
  - checks that the right isabelle tool is present and references home
    page if not.
  - checks that ESPL logic is built and tries to build it if not.

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76463 7e91533c-85bf-0310-9ad9-9686b5989d42
added ISO/IEC-9798 models and proofs

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76464 7e91533c-85bf-0310-9ad9-9686b5989d42
also include ISO/IEC 9798 protocols in distribution

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76467 7e91533c-85bf-0310-9ad9-9686b5989d42
updated documentation of examples

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76475 7e91533c-85bf-0310-9ad9-9686b5989d42
adapted Hackage category for scyther-proof

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@76477 7e91533c-85bf-0310-9ad9-9686b5989d42
lexer recognizes now `!' as BANG

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@77091 7e91533c-85bf-0310-9ad9-9686b5989d42
support for formal comments in scyther-proof

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@77096 7e91533c-85bf-0310-9ad9-9686b5989d42
export 'formalComment' parser

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@77100 7e91533c-85bf-0310-9ad9-9686b5989d42
modeled all Andrew Secure RPC variants

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@78432 7e91533c-85bf-0310-9ad9-9686b5989d42
fixed typo: transfer direction was wrong

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@78433 7e91533c-85bf-0310-9ad9-9686b5989d42
bugfix: added forgotten pattern-matches for bidirectional shared keys

improved certification error messages along the way.

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@78434 7e91533c-85bf-0310-9ad9-9686b5989d42
commented on issues in Andrew Secure RPC variants

git-svn-id: https://svn.inf.ethz.ch/svn/basin/infsec/trunk/projects/FOSSP@78435 7e91533c-85bf-0310-9ad9-9686b5989d42