--- a/src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy Thu Oct 31 11:44:20 2013 +0100
+++ b/src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy Thu Oct 31 11:44:20 2013 +0100
@@ -5,7 +5,7 @@
header {* Implementation and verification of multivariate polynomials *}
theory Reflected_Multivariate_Polynomial
-imports Complex_Main "~~/src/HOL/Library/Abstract_Rat" Polynomial_List
+imports Complex_Main Rat_Pair Polynomial_List
begin
subsection{* Datatype of polynomial expressions *}