[mizar] New Mizar articles in MML, January, 2005

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

  Dear All,

  below I attach the list of all articles accepted for inclusion into
the Mizar Mathematical Library during the last month.

1. Fashoda Meet Theorem for Rectangles
    by Yatsuka Nakamura and Andrzej Trybulec
   MML Id: JGRAPH_7

2. Preliminaries to Mathematical Morphology and Its Properties
    by Yuzhong Ding and Xiquan Liang
   MML Id: MATHMORP

3. Subsequences of Almost, Weakly and Poorly One-to-one Finite Sequences
    by Robert Milewski
   MML Id: JORDAN23

Note also that the new article forming Encyclopedia of Mathematics
in Mizar has been accepted recently:

4. Real Numbers - Basic Theorems
    by Library Committee
   MML Id: XREAL_1

  The above articles are included in the newest version of the system
which will be available soon.

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