[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.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