The

Note: Each <default-proof-method> can be abbreviated.<set-proof-methods-command> ::=set proof-methods<default-proof-method>+[,]

set proof =>, normalization

- The prove command
- The /\-method
- The =>-method
- The <=>-method
- The if-method
- The explicit-commands method
- The normalization method