Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-11 18:01:46 -0700 (Fri, 11 Jun 1999)
Revision: 2705
Log message:

      Removed unused directory
      

Changes	Path
Deleted	metaprl/theories/rewrite/Makefile
Deleted	metaprl/theories/rewrite/rw_beta.ml
Deleted	metaprl/theories/rewrite/rw_beta.mli