
diff -r dfda74619509 -r ddd97d9dfbfb src/HOL/GCD.thy
--- a/src/HOL/GCD.thy	Thu Oct 29 08:14:39 2009 +0100
+++ b/src/HOL/GCD.thy	Thu Oct 29 11:41:36 2009 +0100
@@ -28,7 +28,7 @@
 header {* GCD *}
 
 theory GCD
-imports Fact
+imports Fact Parity
 begin
 
 declare One_nat_def [simp del]




