Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-24 10:30:44 -0700 (Sun, 24 Jun 2001)
Revision: 3294
Log message:

      - Corrected precedences in Term_match_table (dforms, dT, etc).
      - Mptop now will understand fully qualified names correctly.
      

Changes	Path
+1 -1	metaprl/refiner/reflib/term_match_table.ml
+1 -1	metaprl/theories/tactic/mptop.ml