New Mizar articles

   Dear All,
   together with the latest official version of the Mizar system
(7.12.01, MML Version 4.166.1132) the following new Mizar articles
are available:

1113. MAZURULM
      Mazur-Ulam Theorem
       by Artur Korni{\l}owicz
      Received December 21, 2010
1114. EC_PF_1
      Set of Points on Elliptic Curve in Projective Coordinates
       by Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama
      Received December 21, 2010
1115. RLAFFIN3
      Continuity of Barycentric Coordinates in Euclidean Topological Spaces
       by Karol P\kak
      Received December 21, 2010
1116. SIMPLEX2
      Brouwer Fixed Point Theorem for Simplexes
       by Karol P\kak
      Received December 21, 2010
1117. BROUWER2
      Brouwer Fixed Point Theorem in the General Case
       by Karol P\kak
      Received December 21, 2010
1118. FOMODEL0
      Preliminaries to Classical First-order Model Theory
       by Marco B. Caminati
      Received December 29, 2010
1119. FOMODEL1
      Definition of first order language with arbitrary alphabet. Syntax of
      terms, atomic formulas and their subterms.
       by Marco B. Caminati
      Received December 29, 2010
1120. FOMODEL2
      First order languages: syntax, part two; semantics.
       by Marco B. Caminati
      Received December 29, 2010
1121. FOMODEL3
      Free interpretation, quotient interpretation and substitution of a letter
      with a term for first order languages.
       by Marco B. Caminati
      Received December 29, 2010
1122. FOMODEL4
      Sequent calculus, derivability, provability. Goedel's completeness theorem.
       by Marco B. Caminati
      Received December 29, 2010
1123. CAYLEY
      Cayley's Theorem
       by Artur Korni{\l}owicz
      Received December 29, 2010
1124. BOR_CANT
      Borel-Cantelli Lemma
       by Peter Jaeger
      Received January 31, 2011
1125. NFCONT_4
      More on the Continuity of Real Functions
       by Keiko Narita, Artur Kornilowicz and Yasunari Shidama
      Received February 22, 2011
1126. STACKS_1
      Representation Theorem for Stacks
       by Grzegorz Bancerek
      Received February 22, 2011
1127. FINANCE1
      Elementary Introduction to Stochastic Finance in Discrete Time
       by Peter Jaeger
      Received March 22, 2011
1128. FVALUAT1
      Valuation Theory, Part {I}
       by Grzegorz Bancerek, Hidetsune Kobayashi and Artur Korni{\l}owicz
      Received April 7, 2011
1129. CC0SP2
      Banach Algebra of Complex-Valued Continuous Functionals and Space of
      Complex-valued Continuous Functionals with Bounded Support
       by Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama
      Received May 30, 2011
1130. MATRTOP3
      The Rotation Group
       by Karol P\kak
      Received May 30, 2011
1131. NDIFF_5
      Differentiable Functions on Normed Linear Spaces
       by Yasunari Shidama
      Received June 2, 2011
1132. MFOLD_2
      Planes and Spheres as Topological Manifolds. Stereographic Projection
       by Marco Riccardi
      Received June 6, 2011

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