New Mizar articles

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

Adam Naumowicz and Mariusz Lapinski submitted an article entitled:
      "On $T_1$ Reflex of Topological Space"
        (MML identifier: T_1TOPSP)
 
Grzegorz Bancerek submitted an article entitled:
      "Bases and Refinements of Topologies"
        (MML identifier: YELLOW_9)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html

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

Adam Grabowski
Library Committee of the Association of Mizar Users