
diff -r 0150cf5982ae -r 2fff636e1fa0 ProgTutorial/Parsing.thy
--- a/ProgTutorial/Parsing.thy	Thu Mar 19 23:21:26 2009 +0100
+++ b/ProgTutorial/Parsing.thy	Sat Mar 21 12:35:03 2009 +0100
@@ -976,7 +976,7 @@
 text {*
   Methods are a central concept in Isabelle. They are the ones you use for example
   in \isacommand{apply}. To print out all currently known methods you can use the 
-  Isabelle command. 
+  Isabelle command:
 *}
 
 print_methods




