CTT.ML/SumE_fst,SumE_snd: tidied
CTT.ML/SumE_fst,SumE_snd: tidied

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