empty_rewrites: rewrites
STRUCTURE
Rewrite
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
Trindemossen-1