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; Tue, 19 Oct 1993 17:13:06 +0100
Received: by leopard.cs.byu.edu (1.37.109.4/16.2) id AA24333;
          Tue, 19 Oct 93 09:59:15 -0600
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.4/16.2) id AA24306; Tue, 19 Oct 93 09:58:47 -0600
Received: from iraun1.ira.uka.de by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA26180; Tue, 19 Oct 93 08:58:12 -0700
Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) 
          id <23610-0@iraun1.ira.uka.de>; Tue, 19 Oct 1993 16:55:42 +0100
Date: Tue, 19 Oct 93 16:58:29 MET
From: schneide <schneide@ira.uka.de>
To: info-hol@cs.uidaho.edu
Subject: Theorem provers of the world
Message-Id: <"iraun1.ira.613:19.09.93.15.55.48"@ira.uka.de>

J. Schumann of the University of Munich has recently made a list of
automated first order theorem provers. This should be available by: 


|> Johann M. Ph. Schumann
|> Intellektik -  AI Research Group at the Chair of Computer Architecture
|> Institut fuer Informatik
|> Technische Universitaet Muenchen
|> Augustenstr. 46 RGB
|> 8000 Muenchen 2, Germany
|> email: schumann@informatik.tu-muenchen.de

There has also been a collection in one of the CADE proceedings, which
appear in Springer's Lecture Notes in Computer Science.

Klaus