% SZS status Theorem for REVERSE__
% SZS output start Proof for REVERSE__
  file('i/f/list/REVERSE__11',ch4s_lists_REVERSEu_u_11)).
  file('i/f/list/REVERSE__11',ah4s_lists_REVERSEu_u_REVERSE)).
% SZS output end Proof for REVERSE__
