% SZS status Theorem for ABS__CAS
% SZS output start Proof for ABS__CAS
  file('i/f/real/ABS__CASES',ch4s_reals_ABSu_u_CASES)).
  file('i/f/real/ABS__CASES',ah4s_reals_ABSu_u_NZ)).
% SZS output end Proof for ABS__CAS
