EXPUNGE-OLD is a mating-search command.
Frees up space by getting rid of all old expansion proofs and
option trees. If you'd like to get rid of all(not only old) expansion
proofs and option trees, you must use EXPUNGE to do your job.
Warning : Never use EXPUNGE-OLD if you are going to use EXPUNGE, or you
cannot get the expected result!
The command format for EXPUNGE-OLD is:


TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage