[mizar] New Mizar articles

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

  Dear all,
  together with the newest official version of the Mizar system (7.8.10)
and the Mizar Mathematical Library (4.99.1005) the following articles
are available:

1000. HELLY
     Helly property for subtrees
      by Jessica Enright and Piotr Rudnicki
     Received January 10, 2008
1001. EUCLID_6
     Heron's Formula and Ptolemy's Theorem
      by Marco Riccardi
     Received January 10, 2008
1002. INT_7
     Uniqueness of factoring an integer and multiplicative group $Z/pZ^{*}$
      by Hiroyuki Okazaki and Yasunari Shidama
     Received January 31, 2008
1003. BCIIDEAL
     Ideals of BCI-Algebras and Their Properties
      by Chenglong Wu and Yuzhong Ding
     Received March 3, 2008
1004. C0SP1
     Banach Algebra of Bounded Functionals
      by Yasunari Shidama, Hikofumi Suzuki and Noboru Endou
     Received March 3, 2008
1005. CONVEX4
     Convex Sets and Convex Combinations on Complex Linear Spaces
      by Hidenori Matsuzaki, Noboru Endou and Yasunari Shidama
     Received March 3, 2008

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