% SZS status Theorem for neg__u
% SZS output start Proof for neg__u
  file('i/f/binary_ieee/neg__ulp',ah4s_binaryu_u_ieees_ulp0)).
  file('i/f/binary_ieee/neg__ulp',ch4s_binaryu_u_ieees_negu_u_ulp)).
  file('i/f/binary_ieee/neg__ulp',ah4s_binaryu_u_ieees_floatu_u_tou_u_realu_u_negate)).
% SZS output end Proof for neg__u
