[mizar] New Mizar articles

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

  Dear All,
  together with the latest official version of the Mizar
Mathematical Library (4.111.1036) the following articles
are available:

1029. MODELC_3
     Model Checking, Part {III}
      by Kazuhisa Ishida and Yasunari Shidama
     Received August 19, 2008
1030. MATRIX16
     Basic Properties of Circulant Matrices and Anti-circular Matrices
      by Xiaopeng Yue and Xiquan Liang
     Received August 26, 2008
1031. LPSPACE1
     On $L^1$ Space Formed by Real-valued Partial Functions
      by Yasushige Watase, Noboru Endou and Yasunari Shidama
     Received August 26, 2008
1032. BCIALG_6
     {BCI}-Homomorphisms
      by Yuzhong Ding, Fuguo Ge and Chenglong Wu
     Received August 26, 2008
1033. FTACELL1
     Stability of the 4-2 Binary Addition Circuit Cells. Part {I}
      by Katsumi Wasaki
     Received August 28, 2008
1034. FDIFF_11
     Several Differentiation Formulas of Special Functions -- Part {VII}
      by Fuguo Ge and Bing Xie
     Received September 23, 2008
1035. LOPBAN_6
     Open Mapping Theorem
      by Hideki Sakurai, Hisayoshi Kunimune and Yasunari Shidama
     Received September 23, 2008
1036. EUCLID_7
     The Real Vector Spaces of Finite Sequences Are Finite Dimensional
      by Yatsuka Nakamura, Artur Korni{\l}owicz, Nagato Oya
        and Yasunari Shidama
     Received September 23, 2008

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