Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-12 21:40:18 -0700 (Wed, 12 May 2004)
Revision: 5769
Log message:

      added Z.1 and Z.eq so Z is actually in unitringCE
      

Changes	Path
+9 -1	metaprl/theories/itt/itt_ring2.ml