Changes by: yegor (yegor at unknown.email)
Date: 2004-01-20 22:26:07 -0800 (Tue, 20 Jan 2004)
Revision: 319
Log message:

      1.deletemax added to splay_table (and other tables).
      2.itt_supinf has some progress on SupInf, testT there only prints sequence
      of inequalities and I believe they can be proved routinely.
      Right now it works with normalized integer terms, 'greater or equal' only.
      Ideally it should work with ordered fields.
      

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