--- a/doc-src/TutorialI/ToyList2/ToyList1 Tue Apr 22 08:33:09 2008 +0200 +++ b/doc-src/TutorialI/ToyList2/ToyList1 Tue Apr 22 08:33:10 2008 +0200 @@ -1,5 +1,5 @@ theory ToyList -imports PreList +imports Datatype begin datatype 'a list = Nil ("[]")