[mizar] New Mizar articles

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

Andrzej Trybulec submitted articles entitled:
      "On the Segmentation of a Simple Closed Curve"
        (MML identifier: JORDAN_A)
      "On the Sets Inhabited by Numbers"
        (MML identifier: MEMBERED)

Shunichi Kobayashi submitted an article entitled:
      "On the Calculus of Binary Arithmetics"
        (MML identifier: BINARI_5)

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

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

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