# HG changeset patch
# User haftmann
# Date 1168003907 -3600
# Node ID b00adaa1ef990e8c8f115d0be81152bb0e387d2d
# Parent  9b1656a28c88e5046d897b4d8564b8241e17815c
added CodeEval

diff -r 9b1656a28c88 -r b00adaa1ef99 src/HOL/ex/ExecutableContent.thy
--- 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