@MISC{BOOLE.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {Boolean Properties of Sets --- Requirements},
  DAY = {30},
  MONTH = {April},
  YEAR = {2002},
  ADDRESS1 = {Association of Mizar Users},
  SUMMARY = {This article contains proofs of the theorems which are
   obvious if the directive 'requirements BOOLE;' will
   be added to enviroment declaration of the Mizar article.}}

