reintroduced an instantiation of 'size' for 'numerals'
reintroduced an instantiation of 'size' for 'numerals'

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