Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-23 19:22:39 -0800 (Mon, 23 Jan 2006)
Revision: 8580
Log message:

      TUrned a prim_rw into a define.
      

Changes  Path
+5 -5 metaprl/theories/meta/extensions/meta_context_terms2.ml
+0 -1 metaprl/theories/meta/extensions/meta_context_terms2.mli
+0 -1 metaprl/theories/meta/extensions/meta_context_theory.mlz
+5 -0 metaprl/theories/meta/extensions/meta_rewrite.ml