Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-12-03 05:16:48 -0800 (Tue, 03 Dec 2002)
Revision: 3943
Log message:

      Meta conversions are eliminated from code.
      

Changes	Path
+8 -8	metaprl/theories/itt/itt_int_arith.ml