REDUCE

6.3 END

The identifier END has two separate uses.

1) Its use in a BEGINEND bracket has been discussed in connection with compound statements.

2) Files to be read using IN should end with an extra END; command. The reason for this is explained in the section on the IN command. This use of END does not allow an immediately preceding END (such as the END of a procedure definition), so we advise using ;END; there.