replaced Sign.add_consts_authentic by Sign.declare_const; tuned;
replaced Sign.add_consts_authentic by Sign.declare_const;
tuned;

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