New Mizar articles

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

Noboru Endou, Katsumi Wasaki, and Yasunari Shidama submitted an article 
  entitled:
      "Measurability of Extended Real Valued Functions"
        (MML identifier: MESFUNC2)
 
Artur Kornilowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec 
  submitted an article entitled:
      "Some Properties of Cells and Arcs"
        (MML identifier: JORDAN1B)
 
Gang Liu, Yasushi Fuwa, and Masayoshi Eguchi submitted an article entitled:
      "Formal topological spaces"
        (MML identifier: FINTOPO2)
 
Adam Grabowski, Artur Kornilowicz, and Andrzej Trybulec submitted an article 
  entitled:
      "Some Properties of Cells and Gauges"
        (MML identifier: JORDAN1C)
 
Andrzej Trybulec submitted an article entitled:
      "Again on the Order on a Special Polygon"
        (MML identifier: SPRECT_5)
 
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