changeset 66453 | cc19f7ca2ed6 |
parent 61343 | 5b5656a63bd6 |
child 67006 | b1278ed3cd46 |
--- a/src/HOL/ex/Groebner_Examples.thy Fri Aug 18 13:55:05 2017 +0200 +++ b/src/HOL/ex/Groebner_Examples.thy Fri Aug 18 20:47:47 2017 +0200 @@ -5,7 +5,7 @@ section \<open>Groebner Basis Examples\<close> theory Groebner_Examples -imports "~~/src/HOL/Groebner_Basis" +imports HOL.Groebner_Basis begin subsection \<open>Basic examples\<close>