src/HOL/Word/Word.thy

--- a/src/HOL/Word/Word.thy	Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/Word/Word.thy	Fri Aug 18 20:47:47 2017 +0200
@@ -6,8 +6,8 @@
 
 theory Word
 imports
-  "~~/src/HOL/Library/Type_Length"
-  "~~/src/HOL/Library/Boolean_Algebra"
+  "HOL-Library.Type_Length"
+  "HOL-Library.Boolean_Algebra"
   Bits_Bit
   Bool_List_Representation
   Misc_Typedef