New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Adam Grabowski submitted an article entitled:
      "Scott-Continuous Functions, Part II"
        (MML identifier: WAYBEL24)

Jaroslaw Gryko and Artur Kornilowicz submitted an article entitled:
      "Some Properties of Isomorphism between Relational Structures.
 On the Product of Topological Spaces"
        (MML identifier: YELLOW14)

Czeslaw Bylinski and Mariusz Zynel submitted an article entitled:
      "Cages, external aproximation of Jordan's curve"
        (MML identifier: JORDAN9)

Robert Milewski submitted an article entitled:
      "Components and Basis of Topological Spaces"
        (MML identifier: YELLOW15)

Artur Kornilowicz submitted an article entitled:
      "Properties of the External Approximation of Jordan's Curve"
        (MML identifier: JORDAN10)

Freek Wiedijk submitted an article entitled:
      "Irrationality of e"
        (MML identifier: IRRAT_1)

Artur Kornilowicz and Jaroslaw Gryko submitted an article entitled:
      "Injective Spaces, Part II"
        (MML identifier: WAYBEL25)

Shunichi Kobayashi submitted an article entitled:
      "Propositional Calculus for Boolean Valued Functions, VI"
        (MML identifier: BVFUNC10)

Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, III"
        (MML identifier: BVFUNC11)

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

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

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

Library Committee of the Association of Mizar Users