Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-26 16:00:17 -0800 (Thu, 26 Feb 2004)
Revision: 5419
Log message:

      Use the Term_match_table's built-in resource creator instead of building
      it "manually".
      

Changes	Path
+5 -31	metaprl/support/tactics/dtactic.ml