Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-28 21:37:36 -0800 (Tue, 28 Oct 2003)
Revision: 5046
Log message:

      Package.is_loaded used to return "true" for theories that were only partially
      loaded. Eliminating that function.
      
      P.S. The package/theory management need to be cleaned up (a lot), but for now
      I just need something that works.
      

Changes	Path
+2 -4	metaprl/support/shell/package_info.ml
+0 -1	metaprl/support/shell/package_sig.mlz
+1 -6	metaprl/support/shell/shell.ml