Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-01 16:38:23 -0800 (Mon, 01 Feb 1999)
Revision: 2581
Log message:

      We do not have to ignore any *_verb* or *_simp* files anymore
      

Changes	Path
Properties	metaprl/refiner/refiner
Properties	metaprl/refiner/rewrite
Properties	metaprl/refiner/term_ds
Properties	metaprl/refiner/term_gen
Properties	metaprl/refiner/term_std