Quoted terms in consts_code declarations are now preprocessed as well.
Quoted terms in consts_code declarations are now preprocessed as well.

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