Talk:Isabelle/@comment-24341225-20140521090104/@comment-8583748-20140523133837

that's quite disappointing though, however i still compliment aerolis