[mizar] New Mizar articles

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

  Dear All,
  together with the newest official version of the Mizar system
(7.11.06, MML Version 4.145.1096) the following new articles
are available:

1093. RANDOM_2
     Probability Measure on Discrete Spaces and Algebra of Real Valued Random
     Variables
      by Hiroyuki Okazaki and Yasunari Shidama
     Received March 16, 2010
1094. PDIFF_7
     Partial Differentiation of Vector-Valued Functions on $n$-Dimensional Real
     Normed Linear Spaces
      by Takao Inou\'e, Adam Naumowicz, Noboru Endou and Yasunari Shidama
     Received April 22, 2010
1095. GROUPP_1
     Some Properties of $p$-Groups and Commutative $p$-Groups
      by Xiquan Liang and Dailu Li
     Received April 29, 2010
1096. INTEGR18
     Riemann Integral of Functions from $\mathbbbR$ into Real Normed Space
      by Keiichi Miyajima, Takahiro Kato and Yasunari Shidama
     Received May 20, 2010

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