Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-23 10:25:21 -0700 (Fri, 23 Jul 1999)
Revision: 2801
Log message:

      Renamed to avoid name conflicts.
      

Changes	Path
+1 -3	metaprl/filter/Makefile
+1 -1	metaprl/filter/filter/Files
Deleted	metaprl/filter/filter/convert.ml
Deleted	metaprl/filter/filter/convert.mli
Added	metaprl/filter/filter/filter_convert.ml
Properties	metaprl/filter/filter/filter_convert.ml
Added	metaprl/filter/filter/filter_convert.mli
Properties	metaprl/filter/filter/filter_convert.mli