* Isar: removed obsolete 'concl is' patterns.
* Isar: removed obsolete 'concl is' patterns.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle