| changeset 72 | 7b8c4fe235aa |
| parent 69 | 19106a9975c1 |
| child 119 | 4536782969fa |
| 71:14c3dd5ee2ad | 72:7b8c4fe235aa |
|---|---|
32 |
32 |
33 setup {* Context.theory_map (update "foo" 1) *} |
33 setup {* Context.theory_map (update "foo" 1) *} |
34 |
34 |
35 text {* |
35 text {* |
36 |
36 |
37 @{ML_response [display] "lookup (Context.Proof @{context}) \"foo\"" "SOME 1"} |
37 @{ML_response [display,gray] "lookup (Context.Proof @{context}) \"foo\"" "SOME 1"} |
38 |
38 |
39 |
39 |
40 *} |
40 *} |
41 |
41 |
42 text {* |
42 text {* |