Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-21 05:35:10 -0700 (Fri, 21 Oct 2005)
Revision: 7959
Log message:

      Fixing the documentation generation for ITT.
      
      Reordered the theories a bit to better match the current split into
      subtheories.