Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-11-29 18:35:46 -0800 (Mon, 29 Nov 2004)
Revision: 6292
Log message:

      "is_empty" added to the interface
      

Changes	Path
+11 -1	metaprl/mllib/debug_tables.ml
+1 -0	metaprl/refiner/reflib/term_eq_table.ml