norm_term: Sign.const_expansion, Envir.expand_atom;
norm_term: Sign.const_expansion, Envir.expand_atom;

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