Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!hellgate.utah.edu!csn!ncar!gatech!mcnc!borg!grover!alexande
From: alexande@grover.cs.unc.edu (Geoffrey D. Alexander)
Newsgroups: comp.ai
Subject: Theorem Provers -- RRL and REVE
Message-ID: <1774@borg.cs.unc.edu>
Date: 21 Feb 91 21:39:19 GMT
Sender: news@cs.unc.edu
Lines: 6

Can someone tell me where I might obtain copies of the theorem provers RRL and
REVE?

Thanks,
Geoff Alexander
alexande@cs.unc.edu


Brought to you by Super Global Mega Corp .com