New Mizar articles

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

1104. PDIFF_8
      Partial Differentiation, Differentiation and Continuity on $n$-Dimensional
      Real Normed Linear Spaces
       by Takao Inou\'e, Adam Naumowicz, Noboru Endou and Yasunari Shidama
      Received October 13, 2010
1105. NDIFF_3
      Differentiable Functions into Real Normed Spaces
       by Hiroyuki Okazaki, Noboru Endou, Keiko Narita and Yasunari Shidama
      Received October 13, 2010
1106. CGAMES_1
      Conway's Games and Some of Their Basic Properties
       by Robin Nittka
      Received October 13, 2010
1107. ORDINAL6
      Veblen Hierarchy
       by Grzegorz Bancerek
      Received October 18, 2010
1108. EXCHSORT
      Sorting by Exchanging
       by Grzegorz Bancerek
      Received October 18, 2010
1109. MATRTOP1
      Linear Transformations of Euclidean Topological Spaces
       by Karol P\kak
      Received October 26, 2010
1110. MATRTOP2
      Linear Transformations of Euclidean Topological Spaces. Part {II}
       by Karol P\kak
      Received October 26, 2010
1111. LTLAXIO1
      The Axiomatization of Propositional Linear Time Temporal Logic
       by Mariusz Giero
      Received November 20, 2010
1112. CC0SP1
      Banach Algebra of Bounded Complex-Valued Functionals
       by Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama
      Received November 20, 2010

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