Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-06-05 20:48:11 -0700 (Sun, 05 Jun 2005)
Revision: 7361
Log message:

      The proper opname shortener support (previous commit) made a number of display
      forms unnecessary.
      

Changes	Path
+0 -2	metaprl/theories/cic/cic_list.ml
+0 -1	metaprl/theories/itt/itt_equal.ml
+0 -8	metaprl/theories/itt/itt_example.ml
+0 -1	metaprl/theories/itt/itt_hoas_operator.ml
+0 -2	metaprl/theories/itt/itt_int_base.ml
+0 -56	metaprl/theories/itt/itt_labels.ml
+0 -1	metaprl/theories/itt/itt_nat.ml
+0 -1	metaprl/theories/itt/itt_rat.ml
+0 -4	metaprl/theories/itt/itt_record_exm.ml
+0 -2	metaprl/theories/itt/itt_synt_operator.ml
+0 -1	metaprl/theories/itt/itt_synt_var.ml
+1 -3	metaprl/theories/itt/itt_union2.ml
+0 -14	metaprl/theories/tptp/tptp.ml