% SZS status Theorem for GEN__literal__case__RAT
% SZS output start Proof for GEN__literal__case__RAT
  file('i/f/combin/GEN__literal__case__RATOR',ch4s_combins_GENu_u_literalu_u_caseu_u_RATOR)).
  file('i/f/combin/GEN__literal__case__RATOR',ah4s_bools_literalu_u_caseu_u_THM)).
  file('i/f/combin/GEN__literal__case__RATOR',ah4s_combins_Cu_u_THM)).
% SZS output end Proof for GEN__literal__case__RAT
