[mizar] New Mizar article

[Adam Grabowski <adam@math.uwb.edu.pl>]

Jing-Chao Chen and Yatsuka Nakamura submitted an article entitled:
      "The Underlying Principle of Dijkstra's Shortest Path Algorithm"
        (MML identifier: GRAPH_5)

to the Mizar Mathematical Library.  The preprint of the article is
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

-----
  Library Committee of the Association of Mizar Users