
diff -r fde7b064d5b2 -r 4cd87067791e src/HOL/Library/Abstract_Rat.thy
--- a/src/HOL/Library/Abstract_Rat.thy	Mon Apr 26 15:38:14 2010 +0200
+++ b/src/HOL/Library/Abstract_Rat.thy	Tue Apr 27 08:17:39 2010 +0200
@@ -5,7 +5,7 @@
 header {* Abstract rational numbers *}
 
 theory Abstract_Rat
-imports GCD Main
+imports Complex_Main
 begin
 
 types Num = "int \<times> int"




