Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-05 09:57:31 -0800 (Sun, 05 Mar 2006)
Revision: 8847
Log message:

      Jason's relarex HOAS works great!
      
      Now most of the reflection stuff works again (and no eta ;-) ), except for:
      
      /itt_hoas_sequent_bterm/reduce_is_sequent_bterm_core_hyp
      /reflect_pmn_core_terms/intro_term_TyAll
      /reflect_pmn_core_terms/intro_term_Lambda
      /reflect_pmn_core_terms/intro_term_TyLambda
      
      Will look into those later today.