Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-13 14:34:19 -0700 (Fri, 13 Jul 2001)
Revision: 3329
Log message:

      I've removed old Itt_int* theories and switched all the ITT to Yegor's
      new theories.
      

Changes	Path
+3 -2	metaprl/doc/latex/theories/itt/print.ml
+2 -1	metaprl/filter/boot/conversionals_boot.ml
+1 -1	metaprl/theories/czf/czf_itt_comment.ml
+1 -1	metaprl/theories/czf/czf_itt_nat.ml
+1 -4	metaprl/theories/itt/Makefile
Deleted	metaprl/theories/itt/itt_arith.ml
Deleted	metaprl/theories/itt/itt_arith.mli
+15 -7	metaprl/theories/itt/itt_bool.ml
+3 -2	metaprl/theories/itt/itt_bool.mli
+7295 -8083	metaprl/theories/itt/itt_bool.prla
+2 -2	metaprl/theories/itt/itt_bugs.prla
+1 -1	metaprl/theories/itt/itt_collection.ml
+10 -86	metaprl/theories/itt/itt_decidable.ml
+2 -9	metaprl/theories/itt/itt_decidable.mli
Deleted	metaprl/theories/itt/itt_int.ml
Deleted	metaprl/theories/itt/itt_int.mli
+68 -56	metaprl/theories/itt/itt_int_base.ml
+8 -29	metaprl/theories/itt/itt_int_base.mli
+6061 -5388	metaprl/theories/itt/itt_int_base.prla
Deleted	metaprl/theories/itt/itt_int_bool.ml
Deleted	metaprl/theories/itt/itt_int_bool.mli
Deleted	metaprl/theories/itt/itt_int_bool_new.ml
Deleted	metaprl/theories/itt/itt_int_bool_new.mli
+12 -9	metaprl/theories/itt/itt_int_ext.ml
+4 -8	metaprl/theories/itt/itt_int_ext.mli
+8 -6	metaprl/theories/itt/itt_list2.ml
+5041 -5226	metaprl/theories/itt/itt_list2.prla
+1 -1	metaprl/theories/itt/itt_logic.ml
+2 -2	metaprl/theories/itt/itt_record_exm.ml
+1 -2	metaprl/theories/itt/itt_record_exm.mli
+3214 -3288	metaprl/theories/itt/itt_record_exm.prla
+3 -3	metaprl/theories/itt/itt_test.ml
+4 -4	metaprl/theories/itt/itt_theory.ml
+3 -3	metaprl/theories/itt/itt_theory.mli
+2 -2	metaprl/theories/reflect_itt/refl_var.ml
+4 -5	metaprl/theories/reflect_itt/refl_var.prla
+6 -6	metaprl/theories/sil/sil_itt_sos.ml
+1 -1	metaprl/theories/tactic/top_conversionals.ml