Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-22 16:03:18 -0800 (Thu, 22 Jan 2004)
Revision: 5271
Log message:

      - In the previous commit, forgot to actually drop mesa and kat theories
      from the list
      
      - Removing couple of unused files.
      

Changes	Path
+1 -1	metaprl/mk/defaults
Deleted	metaprl/mllib/hash_set.ml
Deleted	metaprl/mllib/hash_set.mli