src/HOL/BNF_Examples/Misc_Datatype.thy

--- a/src/HOL/BNF_Examples/Misc_Datatype.thy	Mon Jan 20 18:24:56 2014 +0100
+++ b/src/HOL/BNF_Examples/Misc_Datatype.thy	Mon Jan 20 18:24:56 2014 +0100
@@ -10,7 +10,7 @@
 header {* Miscellaneous Datatype Definitions *}
 
 theory Misc_Datatype
-imports "../BNF"
+imports "~~/src/HOL/Library/More_BNFs"
 begin
 
 datatype_new simple = X1 | X2 | X3 | X4