1\DOC thy_ssfrag 2 3\TYPE {thy_ssfrag : string -> simpLib.ssfrag} 4 5\SYNOPSIS 6Returns simplifier fragment for a theory 7 8\KEYWORDS 9simplification 10 11\DESCRIBE 12Returns the simpset fragment recorded for the given theory. This 13consists of the rewrites passed to {export_rewrites}. 14 15\FAILURE 16Fails if the theory was not found, or did not export any theorems. 17 18\SEEALSO 19BasicProvers.export_rewrites. 20 21\ENDDOC 22