Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-24 11:46:24 -0700 (Sun, 24 Jun 2001)
Revision: 3295
Log message:

      - Term_match_table seems to be finally doing the right thing.
      It turned out that it was alternating the order on each next term dept,
      so the order appeared pretty random.
      
      - Fixed handling of (unit -> 'a) toploop functions in filter.
      

Changes	Path
+2 -2	metaprl/filter/base/filter_prog.ml
+2 -2	metaprl/refiner/reflib/term_match_table.ml
+3 -2	metaprl/theories/base/base_dtactic.ml