Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-29 22:59:05 -0800 (Thu, 29 Jan 2004)
Revision: 5318
Log message:

      Lm_splay_table - more efficient implementation of list_of.
      Itt_rat - more lemmas for max/min/ge
      Itt_supinf - moving ahead
      

Changes	Path
+20 -0	metaprl/theories/itt/itt_rat.ml
+16 -0	metaprl/theories/itt/itt_rat.mli
+71 -65	metaprl/theories/itt/itt_supinf.ml