theory HOL_C8 = GCut + RA_Rls (* RA_Syn for conn_defs and RA_Rls for dp_defs etc *) files "unify.ML" : end