set_base_rewrites: rewrites -> unit
SYNOPSIS
Allows the user to control the built-in database of simplifications used in rewriting.
DESCRIBE
USES
SEEALSO
base_rewrites
,
add_base_rewrites
,
empty_rewrites
,
add_rewrites
HOL
Kananaskis 0