[mizar] New Mizar articles - April 2005

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

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

1. Properties of First and Second Order Cutting of Binary Relations
    by Krzysztof Retel
   Received April 25, 2005
   MML Id: RELSET_2
2. The Inner Product and Conjugate of Finite Sequences of Complex Numbers
    by Wenpai Chang, Hiroshi Yamazaki and Yatsuka Nakamura
   Received April 25, 2005
   MML Id: COMPLSP2
3. Inferior Limit and Superior Limit of Sequences of Real Numbers
    by Bo Zhang, Hiroshi Yamazaki and Yatsuka Nakamura
   Received April 29, 2005
   MML Id: RINFSUP1

  All are included in the newest version of the Mizar system
(MML number 4.31.904) 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