A question to the qed-owner.

Piotr Rudnicki (piotr@cs.ualberta.ca)
Sat, 30 Oct 1993 21:18:58 -0600

I have joined the qed list few days ago and I am wondering how to
get postings dated later than August 6, which is the last in the archive.
I would like to post something about the Polish Mizar and I am wondering
whether anything has been posted about this project in the meantime.

Piotr (Peter) Rudnicki