Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-19 12:40:47 -0800 (Wed, 19 Jan 2005)
Revision: 6443
Log message:

      Rewrites with tokens work fine, but the dtactic is not recognizing
      them properly.  I don't see how params affect the term_match_table
      care about params...
      

Changes  Path
+8 -0 metaprl-branches/opname_classes/theories/experimental/syntax/syntax_test.ml