make SML code closer to Python code when 'nb_kuehlwein_style' is true
make SML code closer to Python code when 'nb_kuehlwein_style' is true

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