| changeset 17601 | a6a322f96145 |
| parent 17509 | 054cd8972095 |
| child 17602 | 63367feba417 |
| 17600:9ae09014730c | 17601:a6a322f96145 |
|---|---|
12 *} |
12 *} |
13 |
13 |
14 |
14 |
15 subsection {* Special hacks, late package setup etc. *} |
15 subsection {* Special hacks, late package setup etc. *} |
16 |
16 |
17 text {* \medskip Default values for rufute, see also theory @{text |
17 text {* \medskip Default values for refute, see also theory @{text |
18 Refute}. |
18 Refute}. |
19 *} |
19 *} |
20 |
20 |
21 refute_params |
21 refute_params |
22 ["itself"=1, |
22 ["itself"=1, |