New Mizar articles

    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