[mizar] New Mizar articles

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

   Dear All,
   together with the latest official version of the Mizar
Mathematical Library (4.117.1046) the following articles
are available:

1037. INTEGRA9
     Several Integrability Formulas of Some Functions, Orthogonal Polynomials
     and Norm Functions
      by Bo Li, Yanping Zhuang, Bing Xie and Pan Wang
     Received October 14, 2008
1038. INTEGR11
     Several Integrability Formulas of Special Functions -- Part {II}
      by Bo Li, Yanping Zhuang, Yanhong Men and Xiquan Liang
     Received October 14, 2008
1039. QUATERN3
     Some Operations on Quaternion Numbers
      by Bo Li, Pan Wang, Xiquan Liang and Yanping Zhuang
     Received October 14, 2008
1040. PETRI_2
     Cell Petri Net Concepts
      by Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama and
      Yatsuka Nakamura
     Received October 14, 2008
1041. VALUED_2
     Operations from Sets into Functional Sets
      by Artur Korni{\l}owicz
     Received October 15, 2008
1042. CFDIFF_1
     Complex Function Differentiability
      by Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama and
      Yatsuka Nakamura
     Received November 4, 2008
1043. KOLMOG01
     Kolmogorov's Zero-one Law
      by Agnes Doll
     Received November 4, 2008
1044. PDIFF_3
     Second-order Partial Differentiation of Real Binary Functions
      by Bing Xie, Xiquan Liang and Xiuzhuan Shen
     Received December 16, 2008
1045. MESFUN7C
     The Measurability of Complex-Valued Functional Sequences
      by Keiko Narita, Noboru Endou and Yasunari Shidama
     Received December 16, 2008
1046. MEMBER_1
     Collective Operations on Number-Membered Sets
      by Artur Korni{\l}owicz
     Received December 19, 2008

  Wishing you all the best,
  Adam Grabowski
  Library Committee of the Association of Mizar Users