% SZS status Theorem for compare__list__ind
% SZS output start Proof for compare__list__ind
  file('i/f/quote/compare__list__index',ah4s_quotes_compareu_u_indexu_u_equal)).
  file('i/f/quote/compare__list__index',ah4s_prelims_compareu_u_equal)).
  file('i/f/quote/compare__list__index',ch4s_quotes_compareu_u_listu_u_index)).
% SZS output end Proof for compare__list__ind
