Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-10-29 11:57:13 -0800 (Mon, 29 Oct 2001)
Revision: 3432
Log message:

      Small step toward arithT. I've committed it because I want to show
      to Alexey some strange behaviour.
      

Changes	Path
+22 -0	metaprl/theories/itt/itt_int_arith.ml
+4 -0	metaprl/theories/itt/itt_int_arith.mli
Added	metaprl/theories/itt/itt_int_arith.prla
Properties	metaprl/theories/itt/itt_int_arith.prla