Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-07 01:38:16 -0800 (Mon, 07 Feb 2005)
Revision: 6622
Log message:

      Added display forms for the labels declared in Itt_labels.
      
      A better way would be to add an opname shortener to the Dforms module,
      this commit is just a workaround.
      

Changes  Path
+1 -2 metaprl-branches/opname_classes4/theories/itt/OMakefile
Added metaprl-branches/opname_classes4/theories/itt/itt_labels.ml
Properties metaprl-branches/opname_classes4/theories/itt/itt_labels.ml
Added metaprl-branches/opname_classes4/theories/itt/itt_labels.mli
Properties metaprl-branches/opname_classes4/theories/itt/itt_labels.mli
Deleted metaprl-branches/opname_classes4/theories/itt/itt_labels.mlz
+1 -1 metaprl-branches/opname_classes4/theories/itt/itt_rbtree.ml