| changeset 61212 | cb9d0c99bd36 |
| parent 60610 | f52b4b0c10c4 |
| child 61223 | dfccf6c06201 |
| 61211:8a5d5ca5d8bc | 61212:cb9d0c99bd36 |
|---|---|
74 |
74 |
75 val _ = |
75 val _ = |
76 register "theorems" "theorems of local theory or proof context" |
76 register "theorems" "theorems of local theory or proof context" |
77 (Isar_Cmd.pretty_theorems false); |
77 (Isar_Cmd.pretty_theorems false); |
78 |
78 |
79 val _ = |
|
80 register "state" "proof state" Toplevel.pretty_state; |
|
81 |
|
82 end; |
79 end; |
83 |