% SZS status Theorem for IN__RESPEC
% SZS output start Proof for IN__RESPEC
  file('i/f/quotient/IN__RESPECTS',ah4s_predu_u_sets_SPECIFICATION)).
  file('i/f/quotient/IN__RESPECTS',ch4s_quotients_INu_u_RESPECTS)).
  file('i/f/quotient/IN__RESPECTS',ah4s_quotients_RESPECTS)).
% SZS output end Proof for IN__RESPEC
