Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-29 20:10:34 -0700 (Tue, 29 Jul 2003)
Revision: 4785
Log message:

      Changed itt_logic to use explicit rule calls instead of dT and autoT
      (which can have things overridden in other theories).
      

Changes	Path
+35 -28	metaprl/theories/itt/itt_logic.ml