Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-27 11:40:29 -0800 (Tue, 27 Dec 2005)
Revision: 8374
Log message:

      Shifted the work of normalization into the lof form,
      so now Itt_hoas_normalize has no theorems.
      
      Not quite finished, still tuning.