Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-09-28 17:51:07 -0700 (Mon, 28 Sep 1998)
Revision: 2478
Log message:

      Added a local module declarations like "module TTerm = ToTerm.Term", so the
      file looks a lot better now.
      

Changes	Path
+112 -155	metaprl/refiner/reflib/term_copy.ml