diff -r 03a2ae3059da -r c7d945398677 doc-src/TutorialI/ToyList2/ToyList1
--- a/doc-src/TutorialI/ToyList2/ToyList1	Tue May 09 15:10:25 2000 +0200
+++ b/doc-src/TutorialI/ToyList2/ToyList1	Tue May 09 16:05:30 2000 +0200
@@ -1,4 +1,4 @@
-theory ToyList = PreList:
+theory ToyList = PreList:;
 
 datatype 'a list = Nil                          ("[]")
                  | Cons 'a "'a list"            (infixr "#" 65);