--- a/CookBook/Intro.thy	Mon Feb 09 01:23:35 2009 +0000
+++ b/CookBook/Intro.thy	Mon Feb 09 04:18:14 2009 +0000
@@ -96,7 +96,7 @@
   The usual user-level commands of Isabelle are written in bold, for 
   example \isacommand{lemma}, \isacommand{foobar} and so on.  
   We use @{text "$"} to indicate that a command  needs to be run 
-  in a Unix-shell, for example
+  in a Unix-shell, for example:
 
   @{text [display] "$ ls -la"}