Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-08 23:21:36 -0800 (Tue, 08 Feb 2005)
Revision: 6639
Log message:

      Added length function to TableSig
      

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