Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-31 13:57:08 -0800 (Fri, 31 Oct 2003)
Revision: 5063
Log message:

      Currently, refiner/refsig/*Makefile assume that all files in refiner/refsig
      are .mlz. Therefore, I had to move the new SEQ_SET into refbase.
      

Changes	Path
+2 -1	metaprl-branches/ocaml_3_07/refiner/refbase/Files
Added	metaprl-branches/ocaml_3_07/refiner/refbase/SEQ_SET.ml
Properties	metaprl-branches/ocaml_3_07/refiner/refbase/SEQ_SET.ml
Added	metaprl-branches/ocaml_3_07/refiner/refbase/SEQ_SET.mli
Properties	metaprl-branches/ocaml_3_07/refiner/refbase/SEQ_SET.mli
+0 -1	metaprl-branches/ocaml_3_07/refiner/refsig/Files
Deleted	metaprl-branches/ocaml_3_07/refiner/refsig/SEQ_SET.ml
Deleted	metaprl-branches/ocaml_3_07/refiner/refsig/SEQ_SET.mli