This directory contains some compressed tar files of RRL (REWRITE RULE
LABORATORY) and its descendents.

To obtain a copy of RRL, ftp (in binary mode; this is required for ftpping
compressed files) one or more of the following files
 
    rrlmanual.tar.Z  (Latex files of the RRL manual dated May 90)
    rrl.tar.Z        (Common lisp version of RRL; tuned for the cover set
                      induction)
    herky.tar.Z      (Common Lisp version of RRL; tuned for fast rew
                      riting/completion; no inductive reasoning and 
                      conditional rewriting) 

1. Once you have ftpped the file rrl.tar.Z, where rrl can be replaced by
   herky and rrlmanual, make a directory called rrl and move the file 
   rrl.tar.Z into rrl, and then uncompress rrl.tar.Z with

   % mkdir rrl
   % mv rrl.tar.Z
   % cd rrl
   % uncompress rrl.tar.Z

2. Extract the files with
   % tar xvf rrl.tar

   Steps 1 & 2 can be merged into one step:
   % mkdir rrl
   % cd rrl
   % zcat ../rrl.tar.Z | tar xvf -

3. Read further the file README for installing RRL on your machine or
   for printing a hardcopy of the manual, etc.

4. Report any problem at hzhang@cs.uiowa.edu.

Thank you very much for your interests.

Hantao Zhang


P.S. The directory "papers" contains the dvi files of some recent
papers related to RRL.