diff -r 4975b7529a14 -r 01753a944433 src/HOL/ex/ExecutableContent.thy
--- a/src/HOL/ex/ExecutableContent.thy	Wed Dec 05 14:15:48 2007 +0100
+++ b/src/HOL/ex/ExecutableContent.thy	Wed Dec 05 14:15:51 2007 +0100
@@ -7,7 +7,7 @@
 theory ExecutableContent
 imports
   Main
-  (*Eval*)
+  Eval
   "~~/src/HOL/ex/Records"
   AssocList
   Binomial