src/HOL/Metis_Examples/Big_O.thy

--- a/src/HOL/Metis_Examples/Big_O.thy	Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/Metis_Examples/Big_O.thy	Fri Aug 18 20:47:47 2017 +0200
@@ -9,9 +9,9 @@
 
 theory Big_O
 imports
-  "~~/src/HOL/Decision_Procs/Dense_Linear_Order"
-  "~~/src/HOL/Library/Function_Algebras"
-  "~~/src/HOL/Library/Set_Algebras"
+  "HOL-Decision_Procs.Dense_Linear_Order"
+  "HOL-Library.Function_Algebras"
+  "HOL-Library.Set_Algebras"
 begin
 
 subsection \<open>Definitions\<close>