src/HOL/Library/Polynomial_Factorial.thy

--- a/src/HOL/Library/Polynomial_Factorial.thy	Mon Apr 03 23:31:31 2017 +0200
+++ b/src/HOL/Library/Polynomial_Factorial.thy	Tue Apr 04 11:52:28 2017 +0200
@@ -9,9 +9,9 @@
 theory Polynomial_Factorial
 imports 
   Complex_Main
-  "~~/src/HOL/Library/Polynomial"
-  "~~/src/HOL/Library/Normalized_Fraction"
-  "~~/src/HOL/Library/Field_as_Ring"
+  Polynomial
+  Normalized_Fraction
+  Field_as_Ring
 begin
 
 subsection \<open>Various facts about polynomials\<close>