--- a/doc-src/TutorialI/ToyList2/ToyList1 Wed Aug 18 11:09:40 2004 +0200 +++ b/doc-src/TutorialI/ToyList2/ToyList1 Wed Aug 18 11:44:17 2004 +0200 @@ -1,5 +1,5 @@ theory ToyList -import PreList +imports PreList begin datatype 'a list = Nil ("[]")