rename one of the two 'rel_eq_thms' to 'rel_code_thms'
rename one of the two 'rel_eq_thms' to 'rel_code_thms'

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