Talk:Isabelle/@comment-8583748-20140513152127/@comment-5522921-20140514222357

Maybe the guy who was in charge of that, got fired :V.