Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-12 16:33:02 -0800 (Sat, 12 Feb 2005)
Revision: 6664
Log message:

      Updated the term hashing in Filter_cache_fun.  This propagates
      changes more accurately when declarations change.
      

Changes	Path
+50 -9	metaprl/filter/base/filter_cache_fun.ml
+98 -6	metaprl/filter/base/filter_grammar.ml
+4 -0	metaprl/filter/base/filter_grammar.mli
+1 -1	metaprl/filter/base/filter_magic.ml
+1 -0	metaprl/refiner/refiner/refiner_debug.ml
+30 -29	metaprl/refiner/reflib/Files
Added	metaprl/refiner/reflib/term_hash_code.ml
Properties	metaprl/refiner/reflib/term_hash_code.ml
Added	metaprl/refiner/reflib/term_hash_code.mli
Properties	metaprl/refiner/reflib/term_hash_code.mli