New Mizar articles

   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