| changeset 643 | cd4226736c37 |
| parent 636 | 520a4084d064 |
| child 663 | 0dd10a900cae |
| 642:005e4edc65ef | 643:cd4226736c37 |
|---|---|
218 |
218 |
219 (* setup of the theorem lists *) |
219 (* setup of the theorem lists *) |
220 val _ = Context.>> (Context.map_theory |
220 val _ = Context.>> (Context.map_theory |
221 (EquivRules.setup #> |
221 (EquivRules.setup #> |
222 RspRules.setup #> |
222 RspRules.setup #> |
223 PrsRules.setup #> |
|
223 IdSimps.setup #> |
224 IdSimps.setup #> |
224 QuotientRules.setup)) |
225 QuotientRules.setup)) |
225 |
226 |
226 end; (* structure *) |
227 end; (* structure *) |
227 |
228 |