[mizar] New Mizar articles

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

Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama submitted an article
  entitled:
      "Topology of Real Unitary Space"
        (MML identifier: RUSUB_5)

William W. Armstrong, Yatsuka Nakamura, and Piotr Rudnicki submitted
  an article entitled:
      "Armstrong's Axioms"
        (MML identifier: ARMSTRNG)

Noboru Endou, Takashi Mituishi, and Yasunari Shidama submitted an article
  entitled:
      "Convex Sets and Convex Combinations"
        (MML identifier: CONVEX1)

Jaroslaw Kotowicz submitted articles entitled:
      "Quotient Vector Spaces and Functionals"
        (MML identifier: VECTSP10)
      "Bilinear Functionals in Vector Spaces"
        (MML identifier: BILINEAR)

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