Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-30 12:18:49 -0700 (Sat, 30 May 1998)
Revision: 2207
Log message:

      Eliminated white space in empty lines.
      

Changes	Path
+0 -10	metaprl/refiner/term_ds/term_addr_ds.ml
+0 -8	metaprl/refiner/term_ds/term_ds.ml
+0 -3	metaprl/refiner/term_ds/term_ds.mli
+0 -83	metaprl/refiner/term_ds/term_op_ds.ml
+0 -4	metaprl/refiner/term_ds/term_shape_ds.ml
+0 -22	metaprl/refiner/term_ds/term_subst_ds.ml
+3 -12	metaprl/refiner/term_std/term_addr_std.ml
+3 -1	metaprl/refiner/term_std/term_eval_std.ml
+3 -38	metaprl/refiner/term_std/term_man_std.ml
+3 -79	metaprl/refiner/term_std/term_op_std.ml
+3 -4	metaprl/refiner/term_std/term_shape_std.ml
+3 -53	metaprl/refiner/term_std/term_std.ml
+3 -12	metaprl/refiner/term_std/term_std.mli
+3 -44	metaprl/refiner/term_std/term_subst_std.ml