% SZS status Theorem for literal__case__RA
% SZS output start Proof for literal__case__RA
  file('i/f/bool/literal__case__RAND',ch4s_bools_literalu_u_caseu_u_RAND)).
  file('i/f/bool/literal__case__RAND',ah4s_bools_literalu_u_caseu_u_DEF)).
% SZS output end Proof for literal__case__RA
