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
