@MISC{NAT_D.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Divisibility of Natural Numbers},
  DAY = {3},
  MONTH = {January},
  YEAR = {2007},
  ADDRESS1 = {Association of Mizar Users}
  SUMMARY = {This file contains basic facts concerning divisibility
  of natural numbers, mainly copied from \cite{NAT_1.ABS}.}}


