@MISC{XREAL_0.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {Introduction to Arithmetic of Real Numbers},
  SECTION1 = {Main Definitions},
  SECTION2 = {Clusters},
  DAY = {11},
  MONTH = {February},
  YEAR = {2003},
  ADDRESS1 = {Association of Mizar Users}}

