empty_rewrites: rewrites
STRUCTURE
SYNOPSIS
The empty database of rewrite rules.
USES
Used to build other rewrite sets.
SEEALSO
HOL  Kananaskis-13