New Mizar articles

   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