[mizar] New Mizar articles

[Adam Grabowski <adam@math.uwb.edu.pl>]

  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