diff -r 826a5fd4d36c -r 0230af0f3c59 src/HOL/Main.thy
--- 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>