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