\<twosuperior> syntax moved to HOL/Numerals;
\<twosuperior> syntax moved to HOL/Numerals;

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