[mizar] New Mizar articles

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

Yatsuka Nakamura and Andrzej Trybulec submitted articles entitled:
      "Sequences of Metric Spaces and an Abstract Intermediate
       Value Theorem"
        (MML identifier: TOPMETR3)
      "On the Decomposition of a Simple Closed Curve into Two Arcs"
        (MML identifier: JORDAN16)

Artur Kornilowicz submitted articles entitled:
      "The Ordering of Points on a Curve, Part III"
        (MML identifier: JORDAN17)
      "The Ordering of Points on a Curve, Part IV"
        (MML identifier: JORDAN18)

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

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

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