🚀 go-pugleaf

For those wanting to know more about the FOL theorem prover SETHEO, here
is the information that was sent me recently.


----------------------------------------------------------------------------

We (the Artificial Intelligence Research Group `Intellektik' at the Chair of
Computer Architecture of the Technical University in Munich) have heard that 
you are interested in our 

			  High Performance Theorem Prover

				*** S E T H E O ***

After several new developments concerning SETHEO and its components 
we are now able to provide a modified and updated set of the sources 
of SETHEO for the UNIX operation system. 

They can be obtained via FTP in the following way

	% ftp 131.159.8.35	(or "ftp flop.informatik.tu-muenchen.de")

	Name: anonymous
	Password: <your-e-mail-address>

	ftp> binary
	ftp> cd pub/fki
	ftp> get setheo.readme.first
	ftp> get setheo.tar.Z
	ftp> bye


The commands above will download the two files setheo.readme.first and
setheo.tar.Z to your local machine.  (The file setheo.readme.first gives 
advise about how to unpack the sources contained in the file setheo.tar.Z.
Included are also two Postscript files with papers concerning SETHEO.)

Alternatively you can order a tape containing the SETHEO sources
for a fee of US$ 50,- from the following address:

 Max Moser (or Klaus Mayr)
 Institut fuer Informatik		 
 Technische Universitaet Muenchen
 Postfach 20 24 20
 Arcisstr. 21	
 D-8000 Muenchen 2
 Germany


In case of problems please contact `setheo@informatik.tu-muenchen.de'
or write to the address above. The e-mail address above will also be your
future contact address for requests, inquiries, ... .


Good Luck,
	and much fun with
	
		SETHEO