Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! qed-owner@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Sun, 31 Oct 1993 03:28:00 +0000
Received: by antares.mcs.anl.gov id AA29115 (5.65c/IDA-1.4.4 for qed-outgoing);
          Sat, 30 Oct 1993 22:19:11 -0500
Received: from scapa.cs.ualberta.ca by antares.mcs.anl.gov with SMTP 
          id AA29108 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Sat, 30 Oct 1993 22:19:09 -0500
Received: from sedalia.cs.ualberta.ca by scapa.cs.ualberta.ca id <18694-2>;
          Sat, 30 Oct 1993 21:18:59 -0600
Subject: A question to the qed-owner.
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
To: qed@mcs.anl.gov
Date: Sat, 30 Oct 1993 21:18:58 -0600
X-Mailer: ELM [version 2.4 PL21]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 313
Message-Id: <93Oct30.211859-0600.18694-2@scapa.cs.ualberta.ca>
Sender: qed-owner@mcs.anl.gov

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