% SZS status Theorem for EQ__LI
% SZS output start Proof for EQ__LI
  file('i/f/list/EQ__LIST',ch4s_lists_EQu_u_LIST)).
% SZS output end Proof for EQ__LI
