Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-16 14:40:10 -0700 (Tue, 16 May 2000)
Revision: 2978
Log message:

      Wrote even more debugging code.
      
      Fixed a bug in Splay_table.add. Now Splay_table and Red_black_table
      behave identically in TPTP's GEN example.
      
      Replaced Failure exceptions in Splay_table with Invalid_argument ones since
      they were only used to signal potential bugs.
      

Changes	Path
+74 -24	metaprl/mllib/debug_tables.ml
+7 -7	metaprl/mllib/splay_table.ml