Conversion of object-level -->/ALL into meta-level ==>/!!;
Conversion of object-level -->/ALL into meta-level ==>/!!;

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