Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-13 02:45:50 -0800 (Mon, 13 Feb 2006)
Revision: 8677
Log message:

      Getting rid of gt and gt_bool operators - turning them into iforms for lt and
      lt_bool.
      

Changes  Path
+4 -4 metaprl/theories/itt/applications/algebra/itt_cyclic_group.prla
+5 -5 metaprl/theories/itt/applications/algebra/itt_mpoly.prla
+3 -3 metaprl/theories/itt/applications/algebra/itt_mpoly2_bench.prla
+3 -3 metaprl/theories/itt/applications/algebra/itt_mpoly3_bench.prla
+4 -4 metaprl/theories/itt/applications/algebra/itt_poly.prla
+2 -2 metaprl/theories/itt/applications/supinf/itt_order.prla
+13 -13 metaprl/theories/itt/applications/supinf/itt_rat.prla
+3 -3 metaprl/theories/itt/applications/supinf/itt_supinf.prla
+0 -19 metaprl/theories/itt/core/itt_int_arith.ml
+4 -4 metaprl/theories/itt/core/itt_int_arith.prla
+19 -43 metaprl/theories/itt/core/itt_int_ext.ml
+2 -8 metaprl/theories/itt/core/itt_int_ext.mli
+15 -15 metaprl/theories/itt/core/itt_int_ext.prla
+5 -5 metaprl/theories/itt/core/itt_list2.prla
+3 -3 metaprl/theories/itt/core/itt_list3.prla
+9 -9 metaprl/theories/itt/core/itt_nat.prla
+1 -1 metaprl/theories/itt/core/itt_omega.prla
+5 -3 metaprl/theories/itt/core/itt_record_exm.prla
+4 -4 metaprl/theories/itt/extensions/base/itt_list_sloppy.prla
+12 -12 metaprl/theories/itt/reflection/experimental/itt_hoas_bterm.prla
+12 -12 metaprl/theories/itt/reflection/experimental/itt_hoas_bterm1.prla
+7 -7 metaprl/theories/itt/reflection/experimental/itt_hoas_lang.prla
+4 -4 metaprl/theories/itt/reflection/experimental/itt_hoas_lof.prla
+13 -13 metaprl/theories/itt/reflection/experimental/itt_hoas_relax.prla
+8 -8 metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_proof_step.prla
+5 -3 metaprl/theories/itt/reflection/experimental/itt_hoas_util.prla
+3 -1 metaprl/theories/itt/reflection/experimental/jyh/itt_hoas_ulambda.prla
+3 -3 metaprl/theories/itt/reflection/obsolete/itt_reflection.prla
+5 -5 metaprl/theories/itt/reflection/obsolete/itt_synt_operator.prla
+5 -5 metaprl/theories/itt/reflection/obsolete/itt_synt_var.prla
+19 -19 metaprl/theories/itt/tests/itt_int_bench.prla
+24 -24 metaprl/theories/itt/tests/itt_int_bench2.prla
+116 -116 metaprl/theories/itt/tests/itt_int_bench3.prla
+3 -3 metaprl/theories/itt/tests/itt_int_test.prla