empty_rewrites: rewrites

SYNOPSIS
The empty database of rewrite rules.

USES
Used to build other rewrite sets.

SEEALSO  bool_rewrites,   implicit_rewrites,   add_rewrites,   add_implicit_rewrites,   set_implicit_rewrites

HOL  Kananaskis 0