Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-17 22:04:40 -0800 (Tue, 17 Feb 2004)
Revision: 5383
Log message:

      1.previous fix for thenAT behaviour was not complete.
      2.itt_ring and itt_field removed.
      

Changes  Path
+0 -2 metaprl/theories/itt/Makefile
+0 -2 metaprl/theories/itt/OMakefile
Deleted metaprl/theories/itt/itt_field.ml
Deleted metaprl/theories/itt/itt_field.mli
Deleted metaprl/theories/itt/itt_field.prla
+13754 -10105 metaprl/theories/itt/itt_int_arith.prla
+6618 -5603 metaprl/theories/itt/itt_int_base.prla
+4 -4 metaprl/theories/itt/itt_int_ext.ml
+4 -4 metaprl/theories/itt/itt_int_ext.mli
+2862 -2485 metaprl/theories/itt/itt_int_ext.prla
+1 -1 metaprl/theories/itt/itt_rat.ml
+0 -1 metaprl/theories/itt/itt_rat.mli
+1007 -962 metaprl/theories/itt/itt_rat.prla
Deleted metaprl/theories/itt/itt_ring.ml
Deleted metaprl/theories/itt/itt_ring.mli
Deleted metaprl/theories/itt/itt_ring.prla
+2384 -2241 metaprl/theories/itt/itt_unitring.prla