The command format for LEAVE is:
<Ed>LEAVE
LEAVE : GEXPR
LEAVE is a Grader Command.
Leave GRADING PACKAGE to the next enclosing top level.
The command format for LEAVE is:
<Gn>LEAVE
LEAVE : LIBRARYCMD
LEAVE is a library command.
Leave LIBRARY to the next enclosing top level.
The command format for LEAVE is:
<LIB>LEAVE
LEAVE : MATEOP
LEAVE is a mating-search command.
Exit mating-search. If the current expansion proof is
complete, the user will be prompted as to whether to apply MERGE-TREE
before exiting.
The command format for LEAVE is:
<Mate>LEAVE
LEAVE : MTREEOP
LEAVE is a matingstree command.
leaving the mtree top level.
The command format for LEAVE is:
<Mtree>LEAVE
LEAVE : REVIEWCMD
LEAVE is a review command.
Leave REVIEW to the next enclosing top level.
The command format for LEAVE is:
<Rn>LEAVE
LEAVE : TESTCMD
LEAVE is a test-top command.
Leave TEST-TOP to the next enclosing top level.
The command format for LEAVE is:
<TEST>LEAVE
LEAVE : UNIFOP
LEAVE is an unification command.
Exit unification.
The command format for LEAVE is:
<Unif>LEAVE