Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-07 21:39:25 -0700 (Wed, 07 Jul 2004)
Revision: 6038
Log message:

      The is_bterm rewrites can not be added to reduce directly, we need to wrap
      them in a simple rewriting tactic first.
      

Changes  Path
+14 -3 metaprl/theories/base/base_reflection.ml
+2 -0 metaprl/theories/base/base_reflection.mli