
diff -r 4536782969fa -r c39f83d8daeb CookBook/FirstSteps.thy
--- a/CookBook/FirstSteps.thy	Sat Feb 14 16:09:04 2009 +0000
+++ b/CookBook/FirstSteps.thy	Sun Feb 15 18:58:21 2009 +0000
@@ -521,6 +521,7 @@
   @{ML_file "Pure/thm.ML"}. 
   \end{readmore}
 
+  (FIXME: how to add case-names to goal states)
 *}
 
 section {* Theories and Local Theories *}




