% SZS status Theorem for MATCH__FLOAT__FINI
% SZS output start Proof for MATCH__FLOAT__FINI
  file('i/f/float/MATCH__FLOAT__FINITE',ah4s_floats_ISu_u_VALIDu_u_FINITE)).
  file('i/f/float/MATCH__FLOAT__FINITE',ch4s_floats_MATCHu_u_FLOATu_u_FINITE)).
  file('i/f/float/MATCH__FLOAT__FINITE',ah4s_predu_u_sets_SUBSETu_u_FINITE)).
% SZS output end Proof for MATCH__FLOAT__FINI
