
diff -r 1b655309617c -r baf5a3c28f0c src/Doc/Tutorial/ToyList/ToyList_Test.thy
--- a/src/Doc/Tutorial/ToyList/ToyList_Test.thy	Fri Nov 07 15:19:30 2014 +0100
+++ b/src/Doc/Tutorial/ToyList/ToyList_Test.thy	Fri Nov 07 16:13:05 2014 +0100
@@ -1,5 +1,5 @@
 theory ToyList_Test
-imports BNF_Least_Fixpoint
+imports Main
 begin
 
 ML {*
@@ -7,7 +7,7 @@
     map (File.read o Path.append (Resources.master_directory @{theory}) o Path.explode)
       ["ToyList1.txt", "ToyList2.txt"]
     |> implode
-  in Thy_Info.script_thy Position.start text @{theory BNF_Least_Fixpoint} end
+  in Thy_Info.script_thy Position.start text @{theory} end
 *}
 
 end




