Changes by: yegor (yegor at unknown.email)
Date: 2004-01-29 22:59:04 -0800 (Thu, 29 Jan 2004)
Revision: 323
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
+7 -6	libmojave/stdlib/lm_splay_table.ml