diff -r 11fca474d87a -r b1278ed3cd46 src/HOL/ex/Groebner_Examples.thy
--- a/src/HOL/ex/Groebner_Examples.thy	Sat Nov 04 18:57:49 2017 +0100
+++ b/src/HOL/ex/Groebner_Examples.thy	Sat Nov 04 19:17:19 2017 +0100
@@ -5,7 +5,7 @@
 section \<open>Groebner Basis Examples\<close>
 
 theory Groebner_Examples
-imports HOL.Groebner_Basis
+imports Main
 begin
 
 subsection \<open>Basic examples\<close>