src/HOL/Main.thy

--- a/src/HOL/Main.thy	Thu Sep 18 16:47:40 2014 +0200
+++ b/src/HOL/Main.thy	Thu Sep 18 16:47:40 2014 +0200
@@ -2,7 +2,7 @@
 
 theory Main
 imports Predicate_Compile Quickcheck_Narrowing Extraction Lifting_Sum Coinduction Nitpick
-  Basic_BNF_Least_Fixpoints BNF_Greatest_Fixpoint Old_Datatype
+  Basic_BNF_Least_Fixpoints BNF_Greatest_Fixpoint
 begin
 
 text {*