Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-10 10:27:31 -0700 (Mon, 10 Aug 1998)
Revision: 2434
Log message:

      Added some (hopefully) useful information from my letter to V.N.Krupski
      

Changes	Path
Added	metaprl/doc/refiner_verb_and_simp.txt
Properties	metaprl/doc/refiner_verb_and_simp.txt
Added	metaprl/doc/term_modules.txt
Properties	metaprl/doc/term_modules.txt