From qed-owner Tue Nov  9 15:49:04 1993
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

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