Talk:Isabelle/@comment-24412864-20140519141519/@comment-3182180-20140520082731

I don't see even a bit.