New Mizar articles

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

Andrzej Trybulec submitted an article entitled:
      "Classes of Independent Partitions"
        (MML identifier: PARTIT_2)
 
Jozef Bialas and Yatsuka Nakamura submitted an article entitled:
      "Some Properties of Dyadic Numbers and Intervals"
        (MML identifier: URYSOHN2)
 
Jozef Bialas and Yatsuka Nakamura submitted an article entitled:
      "Urysohn Lemma"
        (MML identifier: URYSOHN3)
 
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