rewrites

simpLib.rewrites : thm list -> ssfrag

Re-exported from bossLib.rewrites. See that entry for full documentation.