--- a/src/HOL/Main.thy Mon Oct 30 19:29:06 2017 +0000 +++ b/src/HOL/Main.thy Tue Oct 31 07:11:03 2017 +0000 @@ -15,7 +15,6 @@ Conditionally_Complete_Lattices Binomial GCD - Nat_Transfer begin text \<open>