changeset 66614 | 1f1c5d85d232 |
parent 65814 | 3039d4aa7143 |
child 66817 | 0b12755ccbb2 |
--- 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>