[mizar] Re: New Mizar articles

[Jesse Alama <alama@stanford.edu>]

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@math.uwb.edu.pl> 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@stanford.edu)