Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-02-16 08:53:19 -0800 (Tue, 16 Feb 1999)
Revision: 2594
Log message:

      Added the new weak term_copy files into the build (they are being built,
      but not being used yet).
      

Changes  Path
+3 -0 metaprl/mllib/Makefile
+6 -0 metaprl/refiner/reflib/Files
+1 -1 metaprl/refiner/reflib/term_copy2_weak.ml
+4 -4 metaprl/refiner/reflib/term_copy2_weak.mli
+2 -2 metaprl/refiner/reflib/term_copy_weak.ml
+4 -4 metaprl/refiner/reflib/term_copy_weak.mli
+2 -0 metaprl/refiner/refsig/tm_base_sig.mlz