more thorough Variable.check_name: Binding.check for logical entities within the term language;
more thorough Variable.check_name: Binding.check for logical entities within the term language;

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