Update to Isabelle2013-2

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