% SZS status Theorem for F__I
% SZS output start Proof for F__I
  file('i/f/bool/F__IMP',ch4s_bools_Fu_u_IMP)).
% SZS output end Proof for F__I
