# 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