1.1 --- a/doc-src/TutorialI/ToyList2/ToyList1	Mon Aug 16 19:06:59 2004 +0200
     1.2 +++ b/doc-src/TutorialI/ToyList2/ToyList1	Mon Aug 16 19:47:01 2004 +0200
     1.3 @@ -1,4 +1,6 @@
     1.4 -theory ToyList = PreList:
     1.5 +theory ToyList
     1.6 +import PreList
     1.7 +begin
     1.8  
     1.9  datatype 'a list = Nil                          ("[]")
    1.10                   | Cons 'a "'a list"            (infixr "#" 65)