Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 17:41:26 -0700 (Thu, 24 Jun 2004)
Revision: 6018
Log message:

      The order of items in Basic_tactics needs to be different in order
      to ensure that the non-wrapped versions of basic tactics and tacticals
      are getting used, instead of the wrapped topval ones.
      

Changes	Path
+2 -2	metaprl/support/tactics/basic_tactics.ml
+1 -1	metaprl/theories/itt/itt_int_arith.ml