% SZS status Theorem for ROL__BITWISE_
% SZS output start Proof for ROL__BITWISE_
  file('i/f/words/ROL__BITWISE_c0',ch4s_wordss_ROLu_u_BITWISEu_c0)).
  file('i/f/words/ROL__BITWISE_c0',ah4s_wordss_wordu_u_rolu_u_def)).
  file('i/f/words/ROL__BITWISE_c0',ah4s_wordss_RORu_u_BITWISEu_c0)).
% SZS output end Proof for ROL__BITWISE_
