Changed the type of Quot_True, so that it is an HOL constant.
Changed the type of Quot_True, so that it is an HOL constant.

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