% SZS status Theorem for REST__SUBS
% SZS output start Proof for REST__SUBS
  file('i/f/pred_set/REST__SUBSET',ah4s_predu_u_sets_RESTu_u_DEF)).
  file('i/f/pred_set/REST__SUBSET',ah4s_predu_u_sets_INu_u_DELETE)).
  file('i/f/pred_set/REST__SUBSET',ah4s_predu_u_sets_SUBSETu_u_DEF)).
  file('i/f/pred_set/REST__SUBSET',ch4s_predu_u_sets_RESTu_u_SUBSET)).
% SZS output end Proof for REST__SUBS
