% SZS status Theorem for IMP__CONJ__T
% SZS output start Proof for IMP__CONJ__T
  file('i/f/bool/IMP__CONJ__THM',ch4s_bools_IMPu_u_CONJu_u_THM)).
% SZS output end Proof for IMP__CONJ__T
