Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-20 16:08:50 -0800 (Mon, 20 Feb 2006)
Revision: 8746
Log message:

      - Changed bneq_int into an iform.
      - Added fold_neq_int to reduce.
      

Changes  Path
+2 -9 metaprl/theories/itt/core/itt_int_arith.ml
+2 -2 metaprl/theories/itt/core/itt_int_arith.prla
+4 -15 metaprl/theories/itt/core/itt_int_ext.ml
+1 -6 metaprl/theories/itt/core/itt_int_ext.mli
+5 -5 metaprl/theories/itt/core/itt_int_ext.prla
+893 -1016 metaprl/theories/itt/reflection/experimental/itt_hoas_relax.prla
+2449 -1777 metaprl/theories/itt/reflection/obsolete/itt_reflection_example_lambda.prla
+6510 -6693 metaprl/theories/itt/reflection/obsolete/itt_synt_subst.prla