Changes by: yegor (yegor at unknown.email)
Date: 2004-01-28 22:20:24 -0800 (Wed, 28 Jan 2004)
Revision: 322
Log message:

      Lm_splay_table, etc - list_of added,
      it returns content in ascending order of the key.
      
      Itt_rat - some wf-lemmas and properties of max/min/ge added
      
      Itt_supinf - test and test2 have only "trivial" subgoals now, test4 - not yet.
      

Changes	Path
+2 -0	libmojave/stdlib/lm_map_sig.mlz
+11 -1	libmojave/stdlib/lm_splay_table.ml
+1 -0	libmojave/stdlib/lm_table_util.ml