--- a/src/HOL/ex/ExecutableContent.thy Fri Jan 05 14:31:46 2007 +0100 +++ b/src/HOL/ex/ExecutableContent.thy Fri Jan 05 14:31:47 2007 +0100 @@ -23,6 +23,7 @@ State_Monad While_Combinator Word + "~~/src/HOL/ex/CodeEval" begin definition