New Mizar articles

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

Artur Kornilowicz submitted an article entitled:
      "The Properties of Product of Relational Structures"
        (MML identifier: YELLOW10)

Adam Naumowicz submitted an article entitled:
      "On the Characterization of Modular and Distributive Lattices"
        (MML identifier: YELLOW11)

Jaroslaw Gryko submitted an article entitled:
      "Injective Spaces"
        (MML identifier: WAYBEL18)

Artur Kornilowicz submitted an article entitled:
      "On the Characterization of Hausdorff Spaces"
        (MML identifier: YELLOW12)

Christoph Schwarzweller submitted an article entitled:
      "The Field of Quotients over an Integral Domain"
        (MML identifier: QUOFIELD)

Bartlomiej Skorulski submitted an article entitled:
      "First-countable, Sequential, and Frechet Spaces"
        (MML identifier: FRECHET)

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

 http://mizar.org/JFM/Preprints.html

We are working now on the new HTML presentation of the Mizar articles.
Our apologies for possibility of broken links. 

------------

Library Committee of the Association of Mizar Users