--- a/src/HOL/ex/ExecutableContent.thy Fri Apr 20 11:21:49 2007 +0200
+++ b/src/HOL/ex/ExecutableContent.thy Fri Apr 20 11:21:50 2007 +0200
@@ -13,6 +13,7 @@
AssocList
Binomial
Commutative_Ring
+ "~~/src/HOL/ex/Commutative_Ring_Complete"
GCD
List_Prefix
Nat_Infinity