Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-14 02:20:49 -0800 (Tue, 14 Feb 2006)
Revision: 8691
Log message:

      - Added nth_hyp annotations to _lots_ of rules (especially in the algerba
        theory).
      
      - Made the nthHypT a bit safer (it used to be the case that something like
        'l in list{'A} --> 'l in list{top} may loop nth_hyp).
      
      - Made nthHypT and Itt_struct.nthAssumT more efficient (by making sure they do
        not create unnecessary ruleboxes).