Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-22 12:15:40 -0800 (Tue, 22 Nov 2005)
Revision: 8197
Log message:

      Added the context terms in extensions/meta_context_term
      
      This approach preserves the sequent argument down to the
      base case (so the argument is more like a turnstile
      modifier).  This way, there is no need for a special
      type of "core" sequent, all sequents have the usual
      form.