Add theory file containing all ISO 9798 protocols.
Added non-parallel proof for all protocols in a single file.
Differentiate between UD and BD variants for 2_5 and 2_6
Add missing tag to last step of _2_5_ud
Manual parallel composition of 2_5 and 2_6
Add a lemma to allow resolving NonceT sum types.
Merge pull request #10 from lochbihl/master

Update to Isabelle2013-2

Thank you very much for the work. I'll prepare and do the release to Hackage (see http://hackage.haskell.org/upload). You can then just replicate my steps for the next release :-)
Version bump to 0.8.0.0
Switch to newest `cmdargs` and `mtl`.

This makes scyther-proof compile on GHC 7.6.x.
make document preparation work