rewrites : thm list -> ssfrag
STRUCTURE
SYNOPSIS
Create an ssfrag value consisting of the given theorems as rewrites.
DESCRIPTION
bossLib.rewrites is identical to simpLib.rewrites.
SEEALSO
HOL  Trindemossen-1