[mizar] New Mizar articles - September 2005

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

  Dear All,
  I would like to announce five new articles accepted to the
Mizar Mathematical Library:

1. Linearity of Lebesgue Integral of Simple Valued Function
    by Noboru Endou and Yasunari Shidama
   Received September 14, 2005
   MML Id: MESFUNC4
2. The Fashoda Meet Theorem for Continuous Mappings
    by Yatsuka Nakamura, Andrzej Trybulec and Artur Korni{\l}owicz
   Received September 14, 2005
   MML Id: JGRAPH_8
3. Tietze Extension Theorem
    by Artur Korni{\l}owicz, Grzegorz Bancerek and Adam Naumowicz
   Received September 14, 2005
   MML Id: TIETZE
4. Homeomorphisms of Jordan Curves
    by Adam Naumowicz and Grzegorz Bancerek
   Received September 15, 2005
   MML Id: JORDAN24
5. Jordan's Curve Theorem
    by Artur Korni{\l}owicz
   Received September 15, 2005
   MML Id: JORDAN

  All are included in the newest version of the Mizar system
(Mizar ver. 7.5.01, MML ver. 4.39.921) available for all supported
platforms.

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