*** MESSAGE REFERS TO PREVIOUS VERSION *** Scan.peek; Args.global/local_const/tyname (static binding!);
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Scan.peek;
Args.global/local_const/tyname (static binding!);

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