[mizar] New Mizar articles

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

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

1047. POLYEQ_5
     Solution of Cubic and Quartic Equations
      by Marco Riccardi
     Received March 3, 2009
1048. NAT_5
     The Perfect Number Theorem and Wilson's Theorem
      by Marco Riccardi
     Received March 3, 2009
1049. RANDOM_1
     Probability on Finite Set and Real Valued Random Variables
      by Hiroyuki Okazaki and Yasunari Shidama
     Received March 17, 2009
1050. MESFUN9C
     Lebesgue's Convergence Theorem of Complex-Valued Function
      by Keiko Narita, Noboru Endou and Yasunari Shidama
     Received March 17, 2009
1051. METRIZTS
     Basic Properties of Metrizable Topological Spaces
      by Karol P\c{a}k
     Received March 31, 2009
1052. GR_CY_3
     Properties of Primes and Multiplicative Group of a Field
      by Kenichi Arai and Hiroyuki Okazaki
     Received April 7, 2009
1053. CFDIFF_2
     Cauchy-Riemann Differential Equations of Complex Functions
      by Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin
        and Yatsuka Nakamura
     Received April 7, 2009
1054. MEASURE8
     The Hopf Extension Theorem of Measure
      by Noboru Endou, Hiroyuki Okazaki and Yasunari Shidama
     Received April 7, 2009
1055. REWRITE3
     Labelled State Transition Systems
      by Micha{\l} Trybulec
     Received May 5, 2009
1056. DIST_1
     Probability on Finite and Discrete Set and Uniform Distribution
      by Hiroyuki Okazaki
     Received May 5, 2009
1057. INTEGR15
     Riemann Integral of Functions $\mathbbbR$ into $\mathbbbR^n$
      by Keiichi Miyajima and Yasunari Shidama
     Received May 5, 2009
1058. FUNCT_8
     Basic properties of even and odd functions
      by Bo Li and Yanhong Men
     Received May 25, 2009
1059. FSM_3
     Equivalence of Epsilon, Nondeterministic [Finite] Automata
     and Deterministic [Finite] Automata
      by Micha{\l} Trybulec
     Received May 25, 2009

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