Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-05-28 19:29:21 -0700 (Thu, 28 May 1998) Revision: 2198 Log message:
Created refiner/term_gen directory Moved renamed term_std/term_meta_std to term_gen/term_meta_gen