Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-07 20:54:25 -0800 (Sun, 07 Dec 2003)
Revision: 5162
Log message:

      display form for int changed from mathbbZ to int
      
      int_ring renamed to Z
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_int_base.ml
+5 -4	metaprl/theories/itt/itt_ring.ml
+3 -0	metaprl/theories/itt/itt_ring.mli
+269 -207	metaprl/theories/itt/itt_ring.prla