New Mizar articles

[Adam Grabowski]

    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

[Jesse Alama]

Hi Adam,

This looks great.  I notice that the version of the mizar system -- not
just the MML -- was also bumped.  What's new with the mizar system
(apart from the MML)?

Jesse

Adam Grabowski <adam@...> writes:

>    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
>

--
Jesse Alama (alama@...)