Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-31 23:45:44 -0800 (Mon, 31 Jan 2005)
Revision: 6553
Log message:

      Restored the original version numbers that were (accidentally?) shadowed.
      

Changes  Path
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_bintree.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_closure.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_cyclic_group.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_field2.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_field_e.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_group.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_grouplikeobj.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_intdomain.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_intdomain_e.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_mpoly.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_mpoly2.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_mpoly2_bench.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_mpoly3.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_mpoly3_bench.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_obj_base_rewrite.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_order.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_poly.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_quotient_group.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_rat.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_record.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_record_exm.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_record_label.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_ring2.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_ring_e.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_ring_uce.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_sortedtree.prla
+1 -2 metaprl-branches/opname_classes3/theories/itt/itt_unitring.prla