Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-29 17:35:21 -0800 (Wed, 29 Oct 2003)
Revision: 5055
Log message:

      Implemented SEQ_SET as an actual module, not a macro (the module itself
      still uses macros to figure out which implementation to use).
      

Changes	Path
+1 -1	metaprl-branches/ocaml_3_07/mk/preface
+1 -1	metaprl-branches/ocaml_3_07/refiner/OMakefile
+1 -0	metaprl-branches/ocaml_3_07/refiner/refsig/Files
Added	metaprl-branches/ocaml_3_07/refiner/refsig/SEQ_SET.ml
Properties	metaprl-branches/ocaml_3_07/refiner/refsig/SEQ_SET.ml
Added	metaprl-branches/ocaml_3_07/refiner/refsig/SEQ_SET.mli
Properties	metaprl-branches/ocaml_3_07/refiner/refsig/SEQ_SET.mli
Deleted	metaprl-branches/ocaml_3_07/refiner/refsig/refine_error.h
+120 -123	metaprl-branches/ocaml_3_07/refiner/refsig/term_hash_sig.ml
+3 -3	metaprl-branches/ocaml_3_07/util/ocamldep.mll