[mizar] New Mizar articles - May 2005

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

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

1. Formulas And Identities of Inverse Hyperbolic Functions
    by Fuguo Ge, Xiquan Liang and Yuzhong Ding
   Received May 24, 2005
   MML Id: SIN_COS7
2. Lines on Planes in $n$-Dimensional Euclidean Spaces
    by Akihiro Kubo
   Received May 24, 2005
   MML Id: EUCLIDLP
3. Cardinal Numbers and Finite Sets
    by Karol P\c{a}k
   Received May 24, 2005
   MML Id: CARD_FIN
4. Some Equations Related to the Limit of Sequence of Subsets
    by Bo Zhang, Hiroshi Yamazaki and Yatsuka Nakamura
   Received May 24, 2005
   MML Id: SETLIM_2

  All are included in the newest version of the Mizar system
(Mizar ver. 7.5.01, MML ver. 4.33.908) 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