Alternative names are now also used when storing theorems for size functions.
Alternative names are now also used when storing theorems for
size functions.

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