Path: utzoo!attcan!uunet!nih-csl!lhc!adm!cmcl2!yale!cs.utexas.edu!nu.cs.fsu.edu!rganesh
From: rganesh@nu.cs.fsu.edu (Ganesh Rangarajan)
Newsgroups: comp.sources.wanted
Subject: ITP - An Automated Theorem Prover
Message-ID: <9010260050.AA06716@nu.cs.fsu.edu>
Date: 26 Oct 90 00:50:13 GMT
Lines: 12
Posted-Date: Thu, 25 Oct 90 20:50:13 -0400
To: comp-sources-wanted@cs.utexas.edu


  I am looking for the sources/executable of ITP. Its supposed to be
an automated theorem prover.  Any information on the whereabouts of the
sources would be very much appreciated.
  Thanks in advance,
Ganesh

------------------------------------------------------------------------------
Ganesh Rangarajan,   Systems Support Group,   Department of Computer Science,
Rm 201 Lov, Florida State Univ.,Tallahassee, Fl 32306 Ph: (904)-644-2296/7339
Internet: rganesh@nu.cs.fsu.edu rganesh@gauss.math.fsu.edu Bitnet: ganesh@fsu
------------------------------------------------------------------------------