[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] New Mizar articles

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

1020. ROBBINS4
     Orthomodular Lattices
      by El\.zbieta M\c{a}dra and Adam Grabowski
     Received June 27, 2008
1021. AFINSQ_2
     Basic Properties and Concept of Selected Subsequence
     of Zero Based Finite Sequences
      by Yatsuka Nakamura and Hisashi Ito
     Received June 27, 2008

  The library is clean under standard MML utilities available
with Mizar 7.9.03.
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users