New Mizar articles

[Library Committee <mml@mizar.uw.bialystok.pl>]

Adam Grabowski submitted an article entitled:
      "Introduction to Homotopy Theory"
        (MML identifier: BORSUK_2)

Adam Grabowski and Yatsuka Nakamura submitted an article entitled:
      "Some Properties of Real Maps"
        (MML identifier: JORDAN5A)

Adam Grabowski and Yatsuka Nakamura submitted an article entitled:
      "The Ordering of Points on a Curve, Part I"
        (MML identifier: JORDAN5B)
 
Adam Grabowski and Yatsuka Nakamura submitted an article entitled:
      "The Ordering of Points on a Curve, Part II"
        (MML identifier: JORDAN5C)

Artur Kornilowicz submitted an article entitled:
      "On the Categories Without Uniqueness of \bf cod and \bf dom .
Some Properties of the Morphisms and the Functors."
        (MML identifier: ALTCAT_4)

Noriko Asamoto submitted an article entitled:
      "The \bf loop and \bf Times Macroinstruction for \SCMFSA"
        (MML identifier: SCMFSA8C)

Robert Milewski submitted an article entitled:
      "More on the Algebraic and Arithmetic Lattices"
        (MML identifier: WAYBEL15)

Roman Matuszewski and Yatsuka Nakamura submitted an article entitled:
      "Projections in n-Dimensional Euclidean Space to Each Coordinates"
        (MML identifier: JORDAN2B)

Yatsuka Nakamura and Andrzej Trybulec submitted an article entitled:
      "Intermediate Value Theorem and Thickness of Simple Closed Curves"
        (MML identifier: TOPREAL5)

Jaroslaw Gryko submitted an article entitled:
      "Jonson Theorem"
        (MML identifier: LATTICE5)

Yatsuka Nakamura and Andrzej Trybulec submitted an article entitled:
      "Lebesgue's Covering Lemma, Uniform Continuity
and Segmentation of Arcs"
        (MML identifier: UNIFORM1)

Andrzej Trybulec and Yatsuka Nakamura submitted an article entitled:
      "On Rectangular Finite Sequences of the Points of the Plane"
        (MML identifier: SPRECT_1)

Andrzej Trybulec and Yatsuka Nakamura submitted an article entitled:
      "On the Order on a Special Polygon"
        (MML identifier: SPRECT_2)

Yoshinori Fujisawa and Yasushi Fuwa submitted an article entitled:
      "Euler's Function"
        (MML identifier: EULER_1)

Jing-Chao Chen submitted an article entitled:
      "While Macro Instructions of SCM+FSA"
        (MML identifier: SCMFSA_9)

Yatsuka Nakamura and Andrzej Trybulec submitted an article entitled:
      "A Decomposition of Simple Closed Curves and an Order of Their Points"
        (MML identifier: JORDAN6)

Andrzej Kondracki submitted an article entitled:
      "The Chinese Remainder Theorem"
        (MML identifier: WSIERP_1)

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

 http://mizar.uw.bialystok.pl/JFM/Preprints.html

Note that some new mirrors of the site above are available:

 http://sunsite.icm.edu.pl/mizar/
 http://mizar.org/

------------
Adam Grabowski

Library Committee of the Association of Mizar Users