Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-09 20:15:22 -0800 (Wed, 09 Feb 2005)
Revision: 6646
Log message:
Fixed Package_info.abandon so that the proofs are deleted as well.
This just required deleting the str_summary from the
Filter_cache_fun.
status_and_abandon_all () still requires an obscenely large
amount of memory, about 350MB. It would be better if the
heap requirements were proportional to the expanded size
of the largest theory...