simplify
Prev Chapter 7. Tactics Next

simplify

simplify patt

Synopsis:

simplify pattern

Pre-conditions:

None.

Action:

It replaces all the terms matched by patt with other convertible terms that are supposed to be simpler.

New sequents to prove:

None.

Prev Up Next
ring Home split