set_implicit_rewrites: rewrites -> unit
STRUCTURE
Rewrite
SYNOPSIS
Allows the user to control the built-in database of simplifications used in rewriting.
FAILURE
Never fails.
SEEALSO
empty_rewrites
,
add_rewrites
HOL
Kananaskis-14