meiersi/scyther-proof — pull request #10 by lochbihl (2014-01-31 14:34:15+00:00)
Title: Update to Isabelle2013-2

Update Isabelle source files to work with the release Isabelle2013-2