% SZS status Theorem for GEN__LET__RA
% SZS output start Proof for GEN__LET__RA
  file('i/f/combin/GEN__LET__RAND',ch4s_combins_GENu_u_LETu_u_RAND)).
  file('i/f/combin/GEN__LET__RAND',ah4s_bools_LETu_u_THM)).
  file('i/f/combin/GEN__LET__RAND',ah4s_combins_ou_u_THM)).
% SZS output end Proof for GEN__LET__RA
