[mizar] New Mizar articles

[Adam Grabowski <adam@math.uwb.edu.pl>]

Masaaki Niimura and Yasushi Fuwa submitted an article entitled:
      "Magnitude Relation Properties of Radix-$2^k$ SD Number"
        (MML identifier: RADIX_5)

Masaaki Niimura and Yasushi Fuwa submitted an article entitled:
      "High Speed Modulo Calculation Algorithm with Radix-$2^k$ SD Number"
        (MML identifier: RADIX_6)

Takashi Mitsuishi and Grzegorz Bancerek submitted an article entitled:
      "Transitive Closure of Fuzzy Relations"
        (MML identifier: LFUZZY_1)

Adam Grabowski submitted an article entitled:
      "Basic Properties of Rough Sets and Rough Membership Function"
        (MML identifier: ROUGHS_1)

Yatsuka Nakamura submitted an article entitled:
      "Correctness of Non Overwriting Programs. Part I"
        (MML identifier: PRGCOR_1)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

-----
  Adam Grabowski
  Library Committee of the Association of Mizar Users