
diff -r 322485b816ac -r a95c2ff210ba doc-src/TutorialI/ToyList/ToyList.thy
--- a/doc-src/TutorialI/ToyList/ToyList.thy	Wed Aug 18 11:09:40 2004 +0200
+++ b/doc-src/TutorialI/ToyList/ToyList.thy	Wed Aug 18 11:44:17 2004 +0200
@@ -1,5 +1,5 @@
 theory ToyList
-import PreList
+imports PreList
 begin
 
 text{*\noindent




