Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-21 12:25:39 -0700 (Thu, 21 Oct 1999)
Revision: 2820
Log message:

      This is no longer used. set_sig.mlz is used instead
      

Changes  Path
Deleted metaprl/mllib/mp_set.mlz