changeset 72 | 7b8c4fe235aa |
parent 69 | 19106a9975c1 |
child 119 | 4536782969fa |
--- a/CookBook/Recipes/StoringData.thy Wed Jan 14 21:46:04 2009 +0000 +++ b/CookBook/Recipes/StoringData.thy Wed Jan 14 23:44:14 2009 +0000 @@ -34,7 +34,7 @@ text {* - @{ML_response [display] "lookup (Context.Proof @{context}) \"foo\"" "SOME 1"} + @{ML_response [display,gray] "lookup (Context.Proof @{context}) \"foo\"" "SOME 1"} *}