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