--- a/doc-src/TutorialI/ToyList2/ToyList1	Wed Aug 11 14:45:38 2010 +0200
+++ b/doc-src/TutorialI/ToyList2/ToyList1	Sun Aug 15 16:48:42 2010 +0200
@@ -5,6 +5,7 @@
 datatype 'a list = Nil                          ("[]")
                  | Cons 'a "'a list"            (infixr "#" 65)
 
+(* This is the append function: *)
 primrec app :: "'a list => 'a list => 'a list"  (infixr "@" 65)
 where
 "[] @ ys       = ys" |