fixed 'requires' comments, which are needed for printing of drafts;
fixed 'requires' comments, which are needed for printing of drafts;

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