Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-09-13 14:43:25 -0700 (Fri, 13 Sep 2002)
Revision: 3877
Log message:

      In context_vars, do a deep search for context vars, do not just look at the
      toplevel sequent.
      
      P.S. Term_std seems to do the right thing already.
      P.P.S. See the thread "Sequents of sequents." in the ng for more information
      on this change.
      

Changes  Path
+15 -5 metaprl/refiner/term_ds/term_subst_ds.ml