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

      Added some defined versions of sequent_ind{...}
      

Changes  Path
+32 -0 metaprl/theories/meta/extensions/meta_context_rewrite.ml
+7 -0 metaprl/theories/meta/extensions/meta_context_rewrite.mli
+533 -640 metaprl/theories/meta/extensions/meta_context_rewrite.prla
+5 -1 metaprl/theories/meta/extensions/meta_context_terms.ml
+1 -0 metaprl/theories/meta/extensions/meta_context_terms.mli