Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-18 05:29:18 -0700 (Mon, 18 Oct 2004)
Revision: 6246
Log message:

      Forgot to commit yesterday
      

Changes	Path
+26 -4	metaprl/refiner/reflib/supinf.ml
+4 -0	metaprl/refiner/reflib/supinf.mli