
diff -r e2e805678fb0 -r 8939b8fd8603 CookBook/FirstSteps.thy
--- a/CookBook/FirstSteps.thy	Wed Mar 18 18:32:31 2009 +0100
+++ b/CookBook/FirstSteps.thy	Wed Mar 18 23:52:51 2009 +0100
@@ -178,6 +178,10 @@
 ML{*fun str_of_thms ctxt thms =  
   commas (map (str_of_thm ctxt) thms)*}
 
+text {*
+(FIXME @{ML Toplevel.debug} @{ML Toplevel.profiling} @{ML Toplevel.debug})
+*}
+
 section {* Combinators\label{sec:combinators} *}
 
 text {*




