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