% SZS status Theorem for IMP__DISJ__T
% SZS output start Proof for IMP__DISJ__T
  file('i/f/bool/IMP__DISJ__THM',ch4s_bools_IMPu_u_DISJu_u_THM)).
% SZS output end Proof for IMP__DISJ__T
