Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-09-17 19:50:14 -0700 (Thu, 17 Sep 1998)
Revision: 2469
Log message:

      refiner: Added the signature files describing the minimal
      term module functionality necessary for the Term_copy module.
      
      evaluator: Added missing GPL headers
      

Changes	Path
+26 -0	metaprl/evaluator/evaluator.ml
+26 -0	metaprl/evaluator/evaluator.mli
+26 -0	metaprl/evaluator/itt_redrules.ml
+26 -0	metaprl/evaluator/itt_redrules.mli
+133 -133	metaprl/refiner/reflib/term_copy.ml
+7 -7	metaprl/refiner/reflib/term_copy.mli
+4 -1	metaprl/refiner/refsig/Files
Added	metaprl/refiner/refsig/termmod_sig.ml
Properties	metaprl/refiner/refsig/termmod_sig.ml
Added	metaprl/refiner/refsig/tm_base_sig.mlz
Properties	metaprl/refiner/refsig/tm_base_sig.mlz
Added	metaprl/refiner/refsig/tm_man_sig.mlz
Properties	metaprl/refiner/refsig/tm_man_sig.mlz