Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-07-19 08:29:58 -0700 (Fri, 19 Jul 2002)
Revision: 3736
Log message:

      Reordered theory inclusiong to be more reasonable and better match their order
      in theories.pdf.
      

Changes	Path
+13 -10	metaprl/theories/itt/itt_theory.ml
+17 -20	metaprl/theories/itt/itt_theory.mli