
diff -r 14c3dd5ee2ad -r 7b8c4fe235aa CookBook/Recipes/StoringData.thy
--- 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"} 
 
 
 *}




