The set command controls various aspects of LP's behavior. The set command with no arguments prints the current values of all settings. If such a setting is changed, for example, during the proof of one case in a proof by cases it reverts to its previous value upon termination of that case in the proof. Settings marked with G are global and remain in effect until changed by the user.
All settings have default values, which can be restored by the unset command.
Turns off some hardwired rules.