--- 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);