[mizar] New Mizar article

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

Yatsuka Nakamura submitted an article entitled:
      "Half Open Intervals in Real Numbers"
        (MML identifier: RCOMP_2)
 
to the Mizar Mathematical Library.  The preprint of the article is
available at:
  
 http://mizar.org/JFM/Preprints.html

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

Library Committee of the Association of Mizar Users