reverted ce00462f,b3759dce, 7a165592: unwanted generalisation
reverted ce00462f,b3759dce, 7a165592: unwanted generalisation

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