Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-07-25 10:24:20 -0700 (Tue, 25 Jul 2000)
Revision: 3031
Log message:

      Fixed the problem with loading multiple theories that share
      a common theory (BUGS 2.3).  Still have a problem with displaying
      terms correctly in the toplevel.
      

Changes	Path
+60 -28	metaprl/filter/base/filter_cache_fun.ml
+1 -0	metaprl/mllib/Makefile
Added	metaprl/mllib/hashtbl_util.ml
Properties	metaprl/mllib/hashtbl_util.ml
Added	metaprl/mllib/hashtbl_util.mli
Properties	metaprl/mllib/hashtbl_util.mli