[mizar] New Mizar articles

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

  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