[Int_CC.sum_conv, Int_CC.rel_conv] no longer exist
[Int_CC.sum_conv, Int_CC.rel_conv] no longer exist

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