src/HOL/Main.thy

--- a/src/HOL/Main.thy	Thu Sep 07 23:13:15 2017 +0200
+++ b/src/HOL/Main.thy	Fri Sep 08 00:01:36 2017 +0200
@@ -6,7 +6,7 @@
 \<close>
 
 theory Main
-imports Predicate_Compile Quickcheck_Narrowing Extraction Nitpick BNF_Greatest_Fixpoint Filter Conditionally_Complete_Lattices Binomial GCD
+imports Predicate_Compile Quickcheck_Narrowing Extraction Nunchaku BNF_Greatest_Fixpoint Filter Conditionally_Complete_Lattices Binomial GCD
 begin
 
 text \<open>