Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-10 21:09:48 -0800 (Fri, 10 Jan 2003)
Revision: 3989
Log message:

      Got rid of some of the namer code that seems to no longer be relevant.
      

Changes	Path
+10 -10	metaprl/filter/base/filter_prog.ml
+1 -1	metaprl/filter/boot/rewrite_boot.ml
+1 -1	metaprl/filter/filter/filter_parse.ml
+8 -8	metaprl/refiner/refiner/refine.ml
+1 -1	metaprl/refiner/reflib/dform.ml
+1 -7	metaprl/refiner/reflib/term_dtable.ml
+1 -1	metaprl/refiner/reflib/term_match_table.ml
+3 -4	metaprl/refiner/refsig/rewrite_sig.ml
+5 -64	metaprl/refiner/rewrite/rewrite.ml
+1 -3	metaprl/refiner/rewrite/rewrite_types.ml
+4 -4	metaprl/theories/tactic/tactic_cache.ml