Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-08-07 15:04:09 -0700 (Mon, 07 Aug 2000)
Revision: 3041
Log message:

      Removed several very old REDAME files.
      

Changes	Path
Deleted	metaprl/refiner/README.tex
Deleted	metaprl/theories/base/README.doc
Deleted	metaprl/theories/itt/README.uue