fail on merge of conflicting normalization entries: functions are not mergable
fail on merge of conflicting normalization entries: functions are not mergable

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