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