diff -r 0c9c413b4678 -r 474f92c32348 src/HOL/ex/ExecutableContent.thy
--- 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