Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-26 12:08:26 -0800 (Sat, 26 Nov 2005)
Revision: 8219
Log message:

      Rename the derived terms.
      

Changes  Path
+1 -1 metaprl/theories/meta/extensions/OMakefile
Deleted metaprl/theories/meta/extensions/meta_context_rewrite.ml
Deleted metaprl/theories/meta/extensions/meta_context_rewrite.mli
Deleted metaprl/theories/meta/extensions/meta_context_rewrite.prla
+0 -1 metaprl/theories/meta/extensions/meta_context_terms.ml
Copied metaprl/theories/meta/extensions/meta_context_terms2.ml
Copied metaprl/theories/meta/extensions/meta_context_terms2.mli
Copied metaprl/theories/meta/extensions/meta_context_terms2.prla
+1 -1 metaprl/theories/meta/extensions/meta_extensions_theory.mlz