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