Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-24 17:58:33 -0800 (Tue, 24 Feb 2004)
Revision: 5406
Log message:

      testn is now complete (if arithT succeeds)
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_int_arith.ml
+10259 -14107	metaprl/theories/itt/itt_int_arith.prla