Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-29 21:33:51 -0800 (Sat, 29 Mar 2003)
Revision: 4351
Log message:

      Small optimization (number of proof steps decreased but just a bit).
      sweepUpC appears to be very efficient - my manual tail-recursive implementation of some rewrite is just a little bit faster.
      

Changes  Path
+43 -48 metaprl/theories/itt/itt_int_arith.ml