Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-13 15:37:16 -0800 (Mon, 13 Feb 2006)
Revision: 8680
Log message:

      Getting rid of the Itt_hoas_lang theory (moving it to obsolete), deriving the
      BTerm type directly instead (this is 99.9% based on Xin's Itt_hoas_bterm1).
      
      Itt_hoas_bterm TODO:
       - the theory is in need of a major clean-up.
       - it needs to be well-commented.