src/HOL/Main.thy

--- a/src/HOL/Main.thy	Wed Sep 03 00:06:25 2014 +0200
+++ b/src/HOL/Main.thy	Wed Sep 03 00:06:26 2014 +0200
@@ -2,7 +2,7 @@
 
 theory Main
 imports Predicate_Compile Quickcheck_Narrowing Extraction Lifting_Sum Coinduction Nitpick
-  BNF_Greatest_Fixpoint
+  BNF_Greatest_Fixpoint Old_Datatype
 begin
 
 text {*