Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-07 21:33:03 -0800 (Sat, 07 Feb 2004)
Revision: 5350
Log message:

      all occurences of dT in arithT replaced with explicit rules.
      

Changes	Path
+7 -0	metaprl/theories/itt/itt_bool.mli
+20 -4	metaprl/theories/itt/itt_int_arith.ml
+9109 -8908	metaprl/theories/itt/itt_int_arith.prla
+10 -0	metaprl/theories/itt/itt_logic.mli