New Mizar articles

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

1148. QC_TRANS
      Transition of Consistency and Satisfiability under Language Extensions
       by Julian J. Schl\"oder and Peter Koepke
      Received May 7, 2012
1149. GOEDCPUC
      The G\"odel Completeness Theorem for Uncountable Languages
       by Julian J. Schl\"oder and Peter Koepke
      Received May 7, 2012
1150. ZMODUL02
      Quotient Module of $\mathbb Z$-module
       by Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama
      Received May 7, 2012
1151. LTLAXIO2
      The Derivations of Temporal Logic Formulas
       by Mariusz Giero
      Received May 7, 2012
1152. LTLAXIO3
      The Properties of Sets of Temporal Logic Subformulas
       by Mariusz Giero
      Received May 7, 2012
1153. LTLAXIO4
      Weak Completeness Theorem for Propositional Linear Time Temporal Logic
       by Mariusz Giero
      Received May 7, 2012
1154. FRIENDS1
      The Friendship Theorem
       by Karol P\kak
      Received May 15, 2012
1155. MSAFREE4
      Free Term Algebras
       by Grzegorz Bancerek
      Received May 15, 2012
1156. DIST_2
      Posterior Probability on Finite Set
       by Hiroyuki Okazaki
      Received July 4, 2012
1157. INT_8
      Basic Properties of Primitive Root and Order Function
       by Na Ma and Xiquan Liang
      Received August 6, 2012
1158. LOPBAN_7
      Banach's Continuous Inverse Theorem and Closed Graph Theorem
       by Hideki Sakurai, Hiroyuki Okazaki and Yasunari Shidama
      Received August 6, 2012
1159. ZMODUL03
      Free $\mathbb Z$-module
       by Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama
      Received August 6, 2012
1160. CAYLDICK
      Cayley-Dickson Construction
       by Artur Korni{\l}owicz
      Received August 6, 2012
1161. ORDEQ_01
      Contracting Mapping on Normed Linear Space
       by Keiichi Miyajima, Artur Korni{\l}owicz and Yasunari Shidama
      Received August 19, 2012
1162. ALTCAT_5
      Products in Categories without Uniqueness of { \bf cod } and { \bf dom }
       by Artur Korni{\l}owicz
      Received August 19, 2012
1163. AOFA_A00
      Program Algebra over an Algebra
       by Grzegorz Bancerek
      Received August 27, 2012
1164. GROUP_14
      Isomorphisms of Direct Products of Finite Cyclic Groups
       by Kenichi Arai, Hiroyuki Okazaki and Yasunari Shidama
      Received August 27, 2012
1165. LPSPACC1
      On $L^1$ Space Formed by Complex-valued Partial Functions
       by Yasushige Watase, Noboru Endou and Yasunari Shidama
      Received August 27, 2012
1166. AOFA_A01
      Analysis of Algorithms: An Example of a Sort Algorithm
       by Grzegorz Bancerek
      Received November 9, 2012
1167. CKSPACE1
      The $C^k$ Space
       by Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama
      Received November 9, 2012
1168. RANDOM_3
      Random Variables and Product of Probability Spaces
       by Hiroyuki Okazaki and Yasunari Shidama
      Received December 1, 2012
1169. MMLQUER2
      The Semantics of MML Query -- Ordering
       by Grzegorz Bancerek
      Received December 1, 2012
1170. HURWITZ2
      A Test for the Stability of Networks
       by Agnieszka Rowi\'nska-Schwarzweller and Christoph Schwarzweller
      Received January 17, 2013
1171. ROUGHS_2
      Relational Formal Characterization of Rough Sets
       by Adam Grabowski
      Received January 17, 2013
1172. GROUP_17
      Isomorphisms of Direct Products of Finite Commutative Groups
       by Hiroyuki Okazaki, Hiroshi Yamazaki and Yasunari Shidama
      Received January 31, 2013
1173. NBVECTSP
      $n$-dimensional Binary Vector Spaces
       by Kenichi Arai and Hiroyuki Okazaki
      Received April 17, 2013
1174. TOPGEN_6
      Some Properties of the {S}orgenfrey Line and the {S}orgenfrey Plane
       by Adam J.J. St. Arnaud and Piotr Rudnicki
      Received April 17, 2013
1175. NUMERAL2
      More on Divisibility Criteria for Selected Primes
       by Adam Naumowicz and Rados{\l}aw Piliszek
      Received May 19, 2013
1176. NDIFF_6
      Differentiation in Normed Spaces
       by Noboru Endou and Yasunari Shidama
      Received May 19, 2013
1177. NUMPOLY1
      Polygonal Numbers
       by Adam Grabowski
      Received May 19, 2013
1178. GAUSSINT
      Gaussian Integers
       by Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima and Yasunari Shidama
      Received May 19, 2013
1179. TOPALG_7
      Commutativeness of Fundamental Groups of Topological Groups
       by Artur Korni{\l}owicz
      Received May 19, 2013
1180. HUFFMAN1
      Constructing Binary {H}uffman Tree
       by Hiroyuki Okazaki, Yuichi Futa and Yasunari Shidama
      Received June 18, 2013
1181. INTEGR20
      Riemann Integral of Functions from $\mathbbbR$ into Real {B}anach Space
       by Keiko Narita, Noboru Endou and Yasunari Shidama
      Received June 18, 2013
1182. MOEBIUS2
      On Square-free Numbers
       by Adam Grabowski
      Received July 12, 2013
1183. DBLSEQ_1
      Double Sequences and Limits
       by Noboru Endou, Hiroyuki Okazaki and Yasunari Shidama
      Received August 31, 2013
1184. AESCIP_1
      Formalization of the Advanced Encryption Standard -- Part {I}
       by Kenichi Arai and Hiroyuki Okazaki
      Received October 7, 2013
1185. INTEGR21
      The Linearity of Riemann Integral on Functions from $\mathbbbR$ into Real
      {B}anach Space
       by Keiko Narita, Noboru Endou and Yasunari Shidama
      Received October 7, 2013
1186. CAT_6
      Object-Free Definition of Categories
       by Marco Riccardi
      Received October 7, 2013
1187. GROUP_18
      Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order
       by Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho and Yasunari Shidama
      Received October 7, 2013
1188. LATTICEA
      Prime Filters and Ideals in Distributive Lattices
       by Adam Grabowski
      Received October 7, 2013
1189. PREFER_1
      Introduction to Formal Preference Spaces
       by Eliza Niewiadomska and Adam Grabowski
      Received October 7, 2013
1190. ALTCAT_6
      Coproducts in Categories without Uniqueness of {\bf cod} and {\bf dom}
       by Maciej Goli\'nski and Artur Korni{\l}owicz
      Received December 8, 2013
1191. PETRI_3
      Formulation of Cell Petri Nets
       by Mitsuru Jitsukawa, Pauline N. Kawamoto and Yasunari Shidama
      Received December 8, 2013

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