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;
          Tue, 9 Nov 1993 21:55:22 +0000
Received: by antares.mcs.anl.gov id AA02366 (5.65c/IDA-1.4.4 for qed-outgoing);
          Tue, 9 Nov 1993 15:41:20 -0600
Received: from scapa.cs.ualberta.ca by antares.mcs.anl.gov with SMTP 
          id AA02358 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Tue, 9 Nov 1993 15:41:09 -0600
Received: from sedalia.cs.ualberta.ca by scapa.cs.ualberta.ca id <18681-1>;
          Tue, 9 Nov 1993 14:40:24 -0700
Subject: Mizar on ftp
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
To: qed@mcs.anl.gov (qed list)
Date: Tue, 9 Nov 1993 14:40:12 -0700
X-Mailer: ELM [version 2.4 PL23]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 194
Message-Id: <93Nov9.144024-0700.18681-1@scapa.cs.ualberta.ca>
Sender: qed-owner@mcs.anl.gov

Hi:

Mizar is available through anonymous ftp from

	Name:    menaik.cs.ualberta.ca
	Address:  129.128.4.241

in directory

	ftp/pub/Mizar

There is a Readme there.

-- 
Piotr (Peter) Rudnicki