[mizar] New Mizar articles

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

  Dear All,
  I would like to announce that a new version of the Mizar
distribution is now publicly available at our ftp server
for all supported platforms. The system is still 7.3.01,
the Mizar Mathematical Library is improved (mainly cleanups
in the environment declarations of articles). MML version
4.25.898 contains also 9 new articles submitted recently:

1. Alternative Graph Structures
    by Gilbert Lee and Piotr Rudnicki
   MML Id: GLIB_000
2. Walks in a Graph
    by Gilbert Lee
   MML Id: GLIB_001
3. Trees: Connected, Acyclic Graphs
    by Gilbert Lee
   MML Id: GLIB_002
4. Weighted and Labeled Graphs
    by Gilbert Lee
   MML Id: GLIB_003
5. Proof of Dijkstra's Shortest Path Algorithm & Prim's Minimum Spanning
     Tree Algorithm
    by Gilbert Lee and Piotr Rudnicki
   MML Id: GLIB_004
6. Proof of Ford/Fulkerson's Maximum Network Flow Algorithm
    by Gilbert Lee
   MML Id: GLIB_005
7. Properties of Connected Subsets of the Real Line
    by Artur Korni{\l}owicz
   MML Id: RCOMP_3
8. The Fundamental Group of the Circle
    by Artur Korni{\l}owicz
   MML Id: TOPALG_5
9. Brouwer Fixed Point Theorem for Disks on the Plane
    by Artur Korni{\l}owicz and Yasunari Shidama
   MML Id: BROUWER

Check our homepage
  http://mizar.uwb.edu.pl
or its official mirror
  http://mizar.org
for details.

  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users