moved mk_cnumeral/mk_cnumber to Tools/numeral.ML; tuned;
moved mk_cnumeral/mk_cnumber to Tools/numeral.ML;
tuned;

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