named some critical sections; eval_antiquotes: tightened critical section;
named some critical sections;
eval_antiquotes: tightened critical section;

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