--- a/ProgTutorial/FirstSteps.thy	Wed Mar 25 15:09:04 2009 +0100
+++ b/ProgTutorial/FirstSteps.thy	Thu Mar 26 19:00:51 2009 +0000
@@ -1558,6 +1558,10 @@
 section {* Pretty-Printing (TBD) *}
 
 text {*
+  Isabelle has a pretty sphisticated pretty printing module. 
+*}
+
+text {*
   @{ML Pretty.big_list},
   @{ML Pretty.brk},
   @{ML Pretty.block},