@MISC{XBOOLE_0.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {Boolean Properties of Sets --- Definitions},
  DAY = {06},
  MONTH = {April},
  YEAR = {2002},
  ADDRESS1 = {Association of Mizar Users}}

