*** MESSAGE REFERS TO PREVIOUS VERSION *** @{theory}: plain ML_Context.the_context();
*** MESSAGE REFERS TO PREVIOUS VERSION ***
@{theory}: plain ML_Context.the_context();

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