Talk:Isabelle/@comment-24412864-20140519141519/@comment-25430602-20140920085850

disagree ==