Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-19 23:00:23 -0800 (Sun, 19 Feb 2006)
Revision: 8742
Log message:

      A few nth_hyp annotations in reflected theories.
      

Changes  Path
+1 -1 metaprl/theories/itt/reflection/core/itt_hoas_operator.ml
+2 -2 metaprl/theories/itt/reflection/obsolete/itt_reflection.ml
+1 -1 metaprl/theories/itt/reflection/obsolete/itt_reflection_new.ml
+1 -1 metaprl/theories/itt/reflection/obsolete/itt_synt_bterm.ml
+1 -1 metaprl/theories/itt/reflection/obsolete/itt_synt_operator.ml