--- a/src/HOL/ex/ExecutableContent.thy Tue Sep 18 07:36:38 2007 +0200
+++ b/src/HOL/ex/ExecutableContent.thy Tue Sep 18 07:46:00 2007 +0200
@@ -7,7 +7,7 @@
theory ExecutableContent
imports
Main
- Eval
+ (*Eval*)
"~~/src/HOL/ex/Records"
AssocList
Binomial