[mizar] New Mizar articles

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

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

1006. QUATERN2
     Inner Products, Group, Ring of Quaternion Numbers
      by Fuguo Ge
     Received March 18, 2008
1007. HFDIFF_1
     Several Higher Differentiation Formulas of Special Functions
      by Junjie Zhao, Xiquan Liang and Li Yan
     Received March 18, 2008
1008. SIN_COS9
     Inverse Trigonometric Functions Arctan and Arccot
      by Xiquan Liang and Bing Xie
     Received March 18, 2008
1009. SINCOS10
     Inverse Trigonometric Functions Arcsec1, Arcsec2, Arccosec1 and 
Arccosec2
      by Bing Xie, Xiquan Liang and Fuguo Ge
     Received March 18, 2008
1010. MESFUNC9
     The Lebesgue Monotone Convergence Theorem
      by Noboru Endou, Keiko Narita and Yasunari Shidama
     Received March 18, 2008
1011. AOFA_I00
     Mizar Analysis of Algorithms: Algorithms over Integers
      by Grzegorz Bancerek
     Received March 18, 2008
1012. MATRIX14
     Invertibility of Matrices of Field Elements
      by Yatsuka Nakamura, Kunio Oniumi and Wenpai Chang
     Received April 2, 2008
1013. RAMSEY_1
     Ramsey's Theorem
      by Marco Riccardi
     Received April 18, 2008
1014. ABCMIZ_1
     Towards the construction of a model of Mizar concepts
      by Grzegorz Bancerek
     Received April 21, 2008
1015. MODELC_2
     Model Checking, Part II
      by Kazuhisa Ishida
     Received April 21, 2008

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