replace locale 'UFT' with new un-named context block feature; use locale begin/end instead of 'in';
replace locale 'UFT' with new un-named context block feature;
use locale begin/end instead of 'in';

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