Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-23 20:33:22 -0800 (Tue, 23 Dec 2003)
Revision: 5211
Log message:

      1.Added itt_order to makefile
      2.Changed copyright notice
      

Changes	Path
+1 -0	metaprl/theories/itt/Makefile
+1 -1	metaprl/theories/itt/itt_field.ml
+1 -1	metaprl/theories/itt/itt_field.mli
+1 -1	metaprl/theories/itt/itt_int_arith.ml
+1 -1	metaprl/theories/itt/itt_order.ml
+1 -1	metaprl/theories/itt/itt_order.mli
+1 -1	metaprl/theories/itt/itt_ring.ml
+1 -1	metaprl/theories/itt/itt_ring.mli