% SZS status Theorem for NNF__CO
% SZS output start Proof for NNF__CO
  file('i/f/HolSmt/NNF__CONJ',ch4s_HolSmts_NNFu_u_CONJ)).
% SZS output end Proof for NNF__CO
