--- a/src/HOL/GCD.thy Thu Oct 23 14:04:05 2014 +0200
+++ b/src/HOL/GCD.thy Thu Oct 23 14:04:05 2014 +0200
@@ -28,7 +28,7 @@
header {* Greatest common divisor and least common multiple *}
theory GCD
-imports Fact Parity
+imports Fact
begin
declare One_nat_def [simp del]