EXERCISE : ARGTYPE

EXERCISE is an argument type.
An exercise which may be assigned.

TPS documentation homepage


EXERCISE : MEXPR

EXERCISE is a top-level command.
Start the proof of a new exercise.
The command format for EXERCISE is:

 <n>EXERCISE   EXCNO 
"THEOREM"


The arguments have the following meaning:
EXCNO : Name of an exercise

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage