[mizar] New Mizar articles

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

  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