src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Sat Oct 12 22:20:39 2019 +0200
+++ b/src/HOL/HOL.thy	Sun Oct 13 16:26:31 2019 +0200
@@ -5,7 +5,7 @@
 section \<open>The basis of Higher-Order Logic\<close>
 
 theory HOL
-imports Pure "~~/src/Tools/Code_Generator"
+imports Pure Tools.Code_Generator
 keywords
   "try" "solve_direct" "quickcheck" "print_coercions" "print_claset"
     "print_induct_rules" :: diag and