Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-14 22:38:11 -0800 (Wed, 14 Jan 2004)
Revision: 5252
Log message:

      itt_order - min,max added
      itt_rat - less-or-equal added
      

Changes	Path
+31 -5	metaprl/theories/itt/itt_order.ml
+5900 -5550	metaprl/theories/itt/itt_order.prla
+62 -0	metaprl/theories/itt/itt_rat.ml
+2415 -1394	metaprl/theories/itt/itt_rat.prla