Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-01-28 22:20:25 -0800 (Wed, 28 Jan 2004)
Revision: 5310
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.