--- a/src/HOL/ex/Ballot.thy Tue May 15 06:23:12 2018 +0200 +++ b/src/HOL/ex/Ballot.thy Tue May 15 11:33:43 2018 +0200 @@ -8,6 +8,7 @@ theory Ballot imports Complex_Main + "HOL-Library.FuncSet" begin subsection \<open>Preliminaries\<close>