Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-08-25 14:26:33 -0700 (Tue, 25 Aug 1998)
Revision: 2450
Log message:

      Some more indentations.
      

Changes  Path
+20 -14 metaprl/refiner/reflib/term_copy.ml