--- 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"