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