Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-04 20:26:02 -0700 (Sat, 04 Aug 2001)
Revision: 3361
Log message:

      I've added display forms for le_bool, gt_bool, and
      ge_bool. The forms for beq_int, bneq_int, and lt_bool
      were used as a model.  They appear to work fine, but
      someone should probably still check them to make sure
      that the details are ok.
      

Changes	Path
+6 -0	metaprl/theories/itt/itt_int_ext.ml