% SZS status Theorem for NOT__MEM__N
% SZS output start Proof for NOT__MEM__N
  file('i/f/HolSmt/NOT__MEM__NIL',aHLu_TRUTH)).
  file('i/f/HolSmt/NOT__MEM__NIL',ch4s_HolSmts_NOTu_u_MEMu_u_NIL)).
  file('i/f/HolSmt/NOT__MEM__NIL',ah4s_lists_MEMu_c0)).
  file('i/f/HolSmt/NOT__MEM__NIL',aHLu_FALSITY)).
% SZS output end Proof for NOT__MEM__N
