meiersi/scyther-proof — pull request #1 by lochbihl (2013-02-25 11:07:29+00:00)
Title: Update auf Isabelle2013

Hallo Simon,

in den Isabelle-Theorien waren viele Testbeispiele, die auch schon mit Isabelle2009-1 nicht mehr funktionierten. Ich würde vorschlagen, dass man die noch vor einem Release mal ausmistet.

Viele Grüße
Andreas