# HG changeset patch
# User haftmann
# Date 1177060910 -7200
# Node ID 474f92c32348eaa76451c1e7630890516e87833f
# Parent  0c9c413b467818d9710e7eff5c7b1f53dc33a7d5
added more stuff

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