Isar/Pure: removed obsolete 'transfer' attribute (transfer of thms to the current context is now done automatically);
Isar/Pure: removed obsolete 'transfer' attribute (transfer of thms to
the current context is now done automatically);

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