New Mizar articles

   Dear All,
   together with the newest official version of the Mizar system
(7.11.04, MML version 4.130.1076) the following new articles are
available:

1060. TOPDIM_1
      Small Inductive Dimension of Topological Spaces
       by Karol P\c{a}k
      Received June 29, 2009
1061. GROUP_11
      On Rough Subgroup of a Group
       by Xiquan Liang and Dailu Li
      Received August 7, 2009
1062. TOPDIM_2
      Small Inductive Dimension of Topological Spaces, Part II
       by Karol P\c{a}k
      Received August 7, 2009
1063. DILWORTH
      Dilworth's Decomposition Theorem for Posets
       by Piotr Rudnicki
      Received September 17, 2009
1064. INTEGR1C
      Complex Integral
       by Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki
         and Yasunari Shidama
      Received October 10, 2009
1065. INTERVA1
      On the Lattice of Intervals and Rough Sets
       by Adam Grabowski and Magdalena Jastrz\c{e}bska
      Received October 10, 2009
1066. FUNCT_9
      Basic Properties of Periodic Functions
       by Bo Li, Yanhong Men, Dailu Li and Xiquan Liang
      Received October 10, 2009
1067. EUCLID_8
      Vector Function and its Differentiation Formulas in 3-dimensional
        Euclidean Spaces
       by Xiquan Liang, Piqing Zhao and Ou Bai
      Received October 10, 2009
1068. ORDINAL5
      Epsilon Numbers and Cantor Normal Form
       by Grzegorz Bancerek
      Received October 20, 2009
1069. C0SP2
      Banach Algebra of Continuous Functionals
       by Kanazashi Katuhiko, Noboru Endou and Yasunari Shidama
      Received October 20, 2009
1070. ALGSTR_4
      Free Magmas
       by Marco Riccardi
      Received October 20, 2009
1071. INTEGR12
      Integrability Formulas -- Part I
       by Bo Li and Na Ma
      Received November 7, 2009
1072. PDIFF_4
      Partial Differentiation of Real Ternary Functions
       by Takao Inou\'e, Bing Xie and Xiquan Liang
      Received November 7, 2009
1073. POSET_1
      Fix-point Theorem for Continuous Functions on Chain-complete Posets
       by Kazuhisa Ishida and Yasunari Shidama
      Received November 10, 2009
1074. GRNILP_1
      Nilpotent Groups
       by Dailu Li, Xiquan Liang and Yanhong Men
      Received November 10, 2009
1075. DIFF_3
      Difference and Difference Quotient -- Part III
       by Xiquan Liang and Ling Tang
      Received November 17, 2009
1076. ABCMIZ_A
      A Model of Mizar Concepts -- Unification
       by Grzegorz Bancerek
      Received November 20, 2009

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