@MISC{VALUED_1.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {Properties of Number-valued Functions},
  DAY = {18},
  MONTH = {December},
  YEAR = {2007},
  ADDRESS1 = {Association of Mizar Users}}

