[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.150.1103) the following new Mizar articles
are available:

1097. GROUP_12
     Normal Subgroup of Product of Groups
      by Hiroyuki Okazaki, Kenichi Arai and Yasunari Shidama
     Received July 2, 2010
1098. MYCIELSK
     The {M}ycielskian of a Graph
      by Piotr Rudnicki and Lorna Stewart
     Received July 2, 2010
1099. DIFF_4
     Difference and Difference Quotient -- Part {IV}
      by Xiquan Liang, Ling Tang and Xichun Jiang
     Received July 12, 2010
1100. MFOLD_1
     The Definition of Topological Manifolds
      by Marco Riccardi
     Received August 17, 2010
1101. NFCONT_3
     More on Continuous Functions on Normed Linear Spaces
      by Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
     Received August 17, 2010
1102. PRVECT_3
     Cartesian Products of Family of Real Linear Spaces
      by Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama
     Received August 17, 2010
1103. RLVECT_X
     Formalization of Integral Linear Space
      by Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama
     Received August 17, 2010

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