Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 27 Oct 1994 03:08:41 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA21001;
          Wed, 26 Oct 1994 21:04:53 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from yuri.ipc.chiba-u.ac.jp by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA20997;
          Wed, 26 Oct 1994 21:04:50 -0600
Received: by yuri.ipc.chiba-u.ac.jp (5.67+1.6W/2.8Wb) id AA24609;
          Thu, 27 Oct 94 12:00:09 JST
Message-Id: <9410270300.AA24609@yuri.ipc.chiba-u.ac.jp>
To: info-hol@leopard.cs.byu.edu
Subject: Re: Major traditions in mechanical theorem proving
In-Reply-To: Your message of "Sun, 23 Oct 1994 21:48:55 PDT." <9410240448.AA16501@maui.cs.ucla.edu>
Date: Thu, 27 Oct 1994 12:00:07 +0900
From: Yozo Toda <yozo@yuri.ipc.chiba-u.ac.jp>


Hello,

> I am writing my dissertation and would like to briefly mention in it
> the major traditions in or approaches to mechanical theorem proving.
> As I am untutored in this area, I know only of a few:

how about ALF, AutoMath, Lego, Mizar?

> (3) Survey/representative articles/reports/books that I can cite.

Boulton told me that there is the ftp site gathering
informations of many proof-checkers:
	ftp://sail.stanford.edu/pub/clt/ARS/

-- yozo.