% SZS status Theorem for literal__case__RAT
% SZS output start Proof for literal__case__RAT
  file('i/f/bool/literal__case__RATOR',ch4s_bools_literalu_u_caseu_u_RATOR)).
  file('i/f/bool/literal__case__RATOR',ah4s_bools_literalu_u_caseu_u_DEF)).
% SZS output end Proof for literal__case__RAT
