% SZS status Theorem for UNION__APPE
% SZS output start Proof for UNION__APPE
  file('i/f/list/UNION__APPEND',ch4s_lists_UNIONu_u_APPEND)).
  file('i/f/list/UNION__APPEND',ah4s_lists_LISTu_u_TOu_u_SETu_u_APPEND)).
% SZS output end Proof for UNION__APPE
