Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 1999-02-23 04:38:58 -0800 (Tue, 23 Feb 1999)
Revision: 2597
Log message:

      TermHash become a parameter for TermHeaderConstr, TermNorm,
      TermCopyWeak and TermCopy2Weak.
      
      It was made to support global hashing structures for each TermModule.
      

Changes  Path
+9 -7 metaprl/refiner/reflib/term_copy2_weak.ml
+5 -1 metaprl/refiner/reflib/term_copy2_weak.mli
+5 -3 metaprl/refiner/reflib/term_copy_weak.ml
+6 -3 metaprl/refiner/reflib/term_copy_weak.mli
+70 -5 metaprl/refiner/reflib/term_hash.ml
+29 -27 metaprl/refiner/reflib/term_hash.mli
+1 -1 metaprl/refiner/reflib/term_header.ml
+1 -1 metaprl/refiner/reflib/term_header.mli
+5 -5 metaprl/refiner/reflib/term_header_constr.ml
+5 -4 metaprl/refiner/reflib/term_header_constr.mli
+3 -3 metaprl/refiner/reflib/term_norm.ml
+15 -14 metaprl/refiner/reflib/term_norm.mli