# HG changeset patch
# User haftmann
# Date 1272349059 -7200
# Node ID 4cd87067791e93c2c2bf32fe782b0300fb0ba3c2
# Parent  fde7b064d5b24b4e978513adec4a667a9145a029
canonical import

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"