% SZS status Theorem for ISO__RE
% SZS output start Proof for ISO__RE
  file('i/f/ind_type/ISO__REFL',ah4s_indu_u_types_ISO0)).
  file('i/f/ind_type/ISO__REFL',ch4s_indu_u_types_ISOu_u_REFL)).
% SZS output end Proof for ISO__RE
